TU Darmstadt / ULB / TUbiblio

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

Bokor, Peter and Serafini, Marco and Suri, Neeraj and Veith, Helmut :
Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction.
DISC '09: Proceedings of the 2009 23rd Symposium on Distributed Computing Springer Berlin / Heidelberg
[Conference or Workshop Item] , (2009)

Item Type: Conference or Workshop Item
Erschienen: 2009
Creators: Bokor, Peter and Serafini, Marco and Suri, Neeraj and Veith, Helmut
Title: Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction
Language: English
Title of Book: DISC '09: Proceedings of the 2009 23rd Symposium on Distributed Computing
Publisher: Springer Berlin / Heidelberg
Divisions: Department of Computer Science
Department of Computer Science > Dependable Embedded Systems & Software
Date Deposited: 17 Nov 2010 14:18
Export:

Optionen (nur für Redakteure)

View Item View Item