Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Symbolic Model Checking of Stochastic Systems: Theory and Implementation
Collection editors:
Valmari, Antti
Title of conference publication:
Model Checking Software
Subtitle of conference publication:
13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings
Series title:
Lecture Notes in Computer Science
Series volume:
3925
Conference title:
International SPIN Workshop (13., 2006, Wien)
Venue:
Vienna, Austria
Year of conference:
2006
Date of conference beginning:
30.03.2006
Date of conference ending:
01.04.2006
Publisher:
Springer, LNCS 3925
Year:
2006
Pages from - to:
89-107
Language:
Englisch
ISBN:
978-3-540-33102-5 ; 978-3-540-33103-2
DOI:
Department:
Fakultät für Informatik
Institute:
INF 3 - Institut für Technische Informatik
Chair:
Siegle, Markus
Open Access yes or no?:
Nein / No
BibTeX