Details for the publication HahnHWZ09.

Ernst Moritz Hahn (), Holger Hermanns (), Björn Wachter, Lijun Zhang: Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains. In Fundam. Informaticae 95(1):129-155, 2009. DOI BIB