Items where Author is "Serafini, Marco"

Contribution in Book/Report/Proceedings

Bokor, Péter and Serafini, Marco and Suri, Neeraj and Veith, Helmut (2009) Brief Announcement : Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction. In: Distributed Computing : 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings. Springer, pp. 289-290. ISBN 9783642043543