Details for the publication GaoHZ013.

Yang Gao, Ernst Moritz Hahn (), Naijun Zhan (), Lijun Zhang: CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains. In Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, volume 8172 of Lecture Notes in Computer Science, pages 464-468, 2013. DOI BIB