@article{Aziz_2000,
    title = {Model-checking continuous-time Markov chains},
    volume = {1},
    issn = {1557-945X},
    url = {http://dx.doi.org/10.1145/343369.343402},
    doi = {10.1145/343369.343402},
    number = {1},
    journal = {ACM Transactions on Computational Logic},
    publisher = {Association for Computing Machinery (ACM)},
    author = {Aziz, Adnan and Sanwal, Kumud and Singhal, Vigyan and Brayton, Robert},
    year = {2000},
    month = {jul},
    pages = {162–170},
    date-added = {2026-3-10 8:26:44 +0100}
}

@article{Aziz_2000, title = {Model-checking continuous-time Markov chains}, volume = {1}, issn = {1557-945X}, url = {http://dx.doi.org/10.1145/343369.343402}, doi = {10.1145/343369.343402}, number = {1}, journal = {ACM Transactions on Computational Logic}, publisher = {Association for Computing Machinery (ACM)}, author = {Aziz, Adnan and Sanwal, Kumud and Singhal, Vigyan and Brayton, Robert}, year = {2000}, month = {jul}, pages = {162–170}, date-added = {2026-3-10 8:26:44 +0100} }