Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Efficient model checking of fault-tolerant distributed protocols
Title of conference publication:
2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN)
Conference title:
IEEE/IFIP International Conference on Dependable Systems and Networks (41., 2011, Hong Kong)
Venue:
Hong Kong, China
Year of conference:
2011
Date of conference beginning:
27.06.2011
Date of conference ending:
30.06.2011
Place of publication:
Piscataway
Publisher:
IEEE
Year:
2011
Pages from - to:
73-84
Language:
Englisch
ISBN:
978-1-4244-9233-6 ; 978-1-4244-9232-9 ; 978-1-4244-9231-2
ISSN:
2158-3927 ; 1530-0889
Open Access yes or no?:
Nein / No
BibTeX