%0 Conference Paper %1 conf/prdc/MinamikawaTK08 %A Minamikawa, Takahiro %A Tsuchiya, Tatsuhiro %A Kikuno, Tohru %B PRDC %D 2008 %I IEEE Computer Society %K dblp %P 40-47 %T Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms. %U http://dblp.uni-trier.de/db/conf/prdc/prdc2008.html#MinamikawaTK08 %@ 978-0-7695-3448-0

@inproceedings{conf/prdc/MinamikawaTK08, added-at = {2023-03-23T00:00:00.000+0100}, author = {Minamikawa, Takahiro and Tsuchiya, Tatsuhiro and Kikuno, Tohru}, biburl = {https://www.bibsonomy.org/bibtex/20888779e9df97e10caa280a17f89ef58/dblp}, booktitle = {PRDC}, crossref = {conf/prdc/2008}, ee = {https://doi.ieeecomputersociety.org/10.1109/PRDC.2008.13}, interhash = {6e3b32c93a3bb0f87f7ec8b09a47a41e}, intrahash = {0888779e9df97e10caa280a17f89ef58}, isbn = {978-0-7695-3448-0}, keywords = {dblp}, pages = {40-47}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T09:23:34.000+0200}, title = {Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms.}, url = {http://dblp.uni-trier.de/db/conf/prdc/prdc2008.html#MinamikawaTK08}, year = 2008 }