Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

PDF-Datei BibTeX

@inproceedings {leucker_cav07,
    author = {Joost-Pieter Katoen and Daniel Klink and Martin Leucker and Verena Wolf},
    title = {{Three-valued abstraction for continuous-time Markov chains}},
    booktitle = {Proceedings of 19th International Conference on Computer-Aided Verification (CAV'07)},
    year = {2007},
    series = {Lecture Notes in Computer Science},
    publisher = {Springer}
HTML Version

(c) 1999-2004 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact