Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
A Markov Chain Model Checker
Collection editors:
Kemper, P.
Title of conference publication:
Tool Proceedings of Aachen 2001 International Multiconference on Measurement, Modelling and Evaluation of Computer-Communication Systems
Conference title:
International Multiconference on Measurement, Modelling and Evaluation of Computer-Communication Systems (2001, Aachen)
Venue:
Aachen
Year of conference:
2001
Parallel publication note:
Universität Dortmund, Informatik IV, Bericht 760/2001
Year:
2001
Pages from - to:
1-6
Language:
Englisch
Department:
Fakultät für Informatik
Institute:
INF 3 - Institut für Technische Informatik
Chair:
Siegle, Markus
Open Access yes or no?:
Ja / Yes
BibTeX