Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms.

Takahiro Minamikawa Tatsuhiro Tsuchiya Tohru Kikuno Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms. 40-47 2008 PRDC http://dx.doi.org/10.1109/PRDC.2008.13 conf/prdc/2008 db/conf/prdc/prdc2008.html#MinamikawaTK08