@InProceedings{Aziz+96,
  author = {Adnan Aziz and Kumud Sanwal and Vigyan Singhal and Robert K. Brayton},
  title = {Verifying Continuous Time Markov Chains},
  booktitle = {CAV '96: Proceedings of the 8th International Conference on Computer Aided Verification},
  year = 1996,
  isbn = {3-540-61474-5},
  pages = {269--276},
  publisher = {Springer-Verlag},
  address = {London, UK},
  doi = {10.1007/3-540-61474-5_75},
}