@inproceedings{,
    author = {Hermanns, Holger; Katoen, Joost-Pieter; Meyer-Kayser, Joachim; Siegle, Markus},
    title = {A Markov Chain Model Checker},
    editor = {Kemper, P.},
    booktitle = {Tool Proceedings of Aachen 2001 International Multiconference on Measurement, Modelling and Evaluation of Computer-Communication Systems},
    series = {},
    journal = {},
    address = {},
    publisher = {},
    edition = {},
    year = {2001},
    isbn = {},
    volume = {},
    number =  {},
    pages = {1-6},
    url = {},
    doi = {},
    keywords = {},
    abstract = {},
    note = {},
    institution = {Universität der Bundeswehr München, Fakultät für Informatik, INF 3 - Institut für Technische Informatik, Professur: Siegle, Markus},
    
    
}