Browse by Person
 | Up a level |
Jump to: 2007
Number of items: 1.
2007
Han, Tingting and Katoen, J.-P. (2007) Providing evidence of likely being on time: counterexample generation for CTMC model checking. In: Namjoshi, K.S. and Yoneda, T. and Higashino, T. and Okamura, Y. (eds.) Automated Technology for Verification and Analysis: 5th International Symposium. Lecture Notes in Computer Science 4762. Springer, pp. 331-346. ISBN 9783540755951.