Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
A Markov Chain Model Checker
Collection editors:
Graf, Susanne; Schwartzbach, Michael
Title of conference publication:
Tools and Algorithms for the Construction and Analysis of Systems
Subtitle of conference publication:
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
Series title:
Lecture Notes in Computer Science
Series volume:
1785
Conference title:
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (6., 2000, Berlin)
Conference title:
TACAS 2000
Venue:
Berlin
Year of conference:
2000
Date of conference beginning:
25.03.2000
Date of conference ending:
02.04.2000
Place of publication:
Berlin ; Heidelberg
Publisher:
Springer
Year:
2000
Pages from - to:
347-362
Language:
Englisch
ISBN:
978-3-540-67282-1 ; 978-3-540-46419-8
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