Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter. Time-bounded model checking of infinite-state continuous-time Markov chains. In Jonathan Billington, Zhenhua Duan, Maciej Koutny, editors, 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi an, China, June 23-27, 2008. pages 98-107, IEEE, 2008. [doi]
Abstract is missing.