Universität der Bundeswehr München: AtheneForschung
Logo
User: Guest  Login
Authors:
Hermanns, Holger; Katoen, Joost-Pieter; Meyer-Kayser, Joachim; Siegle, Markus 
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