Details for the publication ZhangHHW08.

Lijun Zhang, Holger Hermanns (), Ernst Moritz Hahn (), Björn Wachter: Time-bounded model checking of infinite-state continuous-time Markov chains. In 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008, pages 98-107, 2008. DOI BIB