Login
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
BibTeX