Login
Document type:
Technischer Report / Technical Report
Title:
Efficient model checking of fault-tolerant distributed protocols
Publishing institution:
Technische Universität Darmstadt
Year:
2011
Language:
Englisch
Report number:
TR-TUD-DEEDS-01-01-2011
Open Access yes or no?:
Nein / No
BibTeX