Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang. Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains. Fundamenta Informaticae, 95(1):129-155, 2009. [doi]
@article{HahnHWZ09-0,
title = {Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains},
author = {Ernst Moritz Hahn and Holger Hermanns and Björn Wachter and Lijun Zhang},
year = {2009},
doi = {10.3233/FI-2009-145},
url = {http://dx.doi.org/10.3233/FI-2009-145},
tags = {model checking, meta-model, Markov, Meta-Environment},
researchr = {https://researchr.org/publication/HahnHWZ09-0},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {95},
number = {1},
pages = {129-155},
}