Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Efficient model checking of fault-tolerant distributed protocols
Titel Konferenzpublikation:
2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN)
Konferenztitel:
IEEE/IFIP International Conference on Dependable Systems and Networks (41., 2011, Hong Kong)
Tagungsort:
Hong Kong, China
Jahr der Konferenz:
2011
Datum Beginn der Konferenz:
27.06.2011
Datum Ende der Konferenz:
30.06.2011
Verlagsort:
Piscataway
Verlag:
IEEE
Jahr:
2011
Seiten von - bis:
73-84
Sprache:
Englisch
ISBN:
978-1-4244-9233-6 ; 978-1-4244-9232-9 ; 978-1-4244-9231-2
ISSN:
2158-3927 ; 1530-0889
Open Access ja oder nein?:
Nein / No
BibTeX
PDF