Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
A Markov Chain Model Checker
Herausgeber Sammlung:
Kemper, P.
Titel Konferenzpublikation:
Tool Proceedings of Aachen 2001 International Multiconference on Measurement, Modelling and Evaluation of Computer-Communication Systems
Konferenztitel:
International Multiconference on Measurement, Modelling and Evaluation of Computer-Communication Systems (2001, Aachen)
Tagungsort:
Aachen
Jahr der Konferenz:
2001
Hinweis zu Parallelpublikation:
Universität Dortmund, Informatik IV, Bericht 760/2001
Jahr:
2001
Seiten von - bis:
1-6
Sprache:
Englisch
Fakultät:
Fakultät für Informatik
Institut:
INF 3 - Institut für Technische Informatik
Professur:
Siegle, Markus
Open Access ja oder nein?:
Ja / Yes
BibTeX