Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction.

Péter Bokor Marco Serafini Neeraj Suri Helmut Veith Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction. 289-290 2009 DISC http://dx.doi.org/10.1007/978-3-642-04355-0_29 conf/wdag/2009 db/conf/wdag/disc2009.html#BokorSSV09