Logo
Benutzer: Gast  Login
Autoren:
Bokor, Péter; Kinder, Johannes; Serafini, Marco; Suri, Neeraj 
Dokumenttyp:
Technischer Report / Technical Report 
Titel:
Efficient model checking of fault-tolerant distributed protocols 
Verlegende Institution:
Technische Universität Darmstadt 
Jahr:
2011 
Sprache:
Englisch 
Reportnummer:
TR-TUD-DEEDS-01-01-2011 
Open Access ja oder nein?:
Nein / No