Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith. Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction. In Idit Keidar, editor, Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings. Volume 5805 of Lecture Notes in Computer Science, pages 289-290, Springer, 2009. [doi]
Abstract is missing.