Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
A Markov Chain Model Checker
Herausgeber Sammlung:
Graf, Susanne; Schwartzbach, Michael
Titel Konferenzpublikation:
Tools and Algorithms for the Construction and Analysis of Systems
Untertitel Konferenzpublikation:
6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings
Reihentitel:
Lecture Notes in Computer Science
Bandnummer Reihe:
1785
Konferenztitel:
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (6., 2000, Berlin)
Konferenztitel:
TACAS 2000
Tagungsort:
Berlin
Jahr der Konferenz:
2000
Datum Beginn der Konferenz:
25.03.2000
Datum Ende der Konferenz:
02.04.2000
Verlagsort:
Berlin ; Heidelberg
Verlag:
Springer
Jahr:
2000
Seiten von - bis:
347-362
Sprache:
Englisch
ISBN:
978-3-540-67282-1 ; 978-3-540-46419-8
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