Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton. Model-checking continous-time Markov chains. ACM Trans. Comput. Log., 1(1):162-170, 2000. [doi]
@article{AzizSSB00,
title = {Model-checking continous-time Markov chains},
author = {Adnan Aziz and Kumud Sanwal and Vigyan Singhal and Robert K. Brayton},
year = {2000},
doi = {10.1145/343369.343402},
url = {http://doi.acm.org/10.1145/343369.343402},
tags = {model checking, meta-model, Markov, Meta-Environment},
researchr = {https://researchr.org/publication/AzizSSB00},
cites = {0},
citedby = {0},
journal = {ACM Trans. Comput. Log.},
volume = {1},
number = {1},
pages = {162-170},
}