Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Symbolic Model Checking of Stochastic Systems: Theory and Implementation
Herausgeber Sammlung:
Valmari, Antti
Titel Konferenzpublikation:
Model Checking Software
Untertitel Konferenzpublikation:
13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings
Reihentitel:
Lecture Notes in Computer Science
Bandnummer Reihe:
3925
Konferenztitel:
International SPIN Workshop (13., 2006, Wien)
Tagungsort:
Vienna, Austria
Jahr der Konferenz:
2006
Datum Beginn der Konferenz:
30.03.2006
Datum Ende der Konferenz:
01.04.2006
Verlag:
Springer, LNCS 3925
Jahr:
2006
Seiten von - bis:
89-107
Sprache:
Englisch
ISBN:
978-3-540-33102-5 ; 978-3-540-33103-2
DOI:
Fakultät:
Fakultät für Informatik
Institut:
INF 3 - Institut für Technische Informatik
Professur:
Siegle, Markus
Open Access ja oder nein?:
Nein / No
BibTeX