@inproceedings{,
    author = {Hermanns, Holger; Katoen, Joost-Pieter; Meyer-Kayser, Joachim; Siegle, Markus},
    title = {A Markov Chain Model Checker},
    editor = {Graf, Susanne; Schwartzbach, Michael},
    booktitle = {Tools and Algorithms for the Construction and Analysis of Systems : 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 = {Lecture Notes in Computer Science},
    journal = {},
    address = {Berlin ; Heidelberg},
    publisher = {Springer},
    edition = {},
    year = {2000},
    isbn = {978-3-540-67282-1 ; 978-3-540-46419-8},
    volume = {1785},
    number =  {},
    pages = {347-362},
    url = {},
    doi = {10.1007/3-540-46419-0_24},
    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},
    
    
}