Tingting Han, Joost-Pieter Katoen. Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking. In Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura, editors, Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings. Volume 4762 of Lecture Notes in Computer Science, pages 331-346, Springer, 2007. [doi]
@inproceedings{HanK07,
title = {Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking},
author = {Tingting Han and Joost-Pieter Katoen},
year = {2007},
doi = {10.1007/978-3-540-75596-8_24},
url = {http://dx.doi.org/10.1007/978-3-540-75596-8_24},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/HanK07},
cites = {0},
citedby = {0},
pages = {331-346},
booktitle = {Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
editor = {Kedar S. Namjoshi and Tomohiro Yoneda and Teruo Higashino and Yoshio Okamura},
volume = {4762},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-75595-1},
}