Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation

Christel Baier. Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation. In Rajeev Alur, Thomas A. Henzinger, editors, Computer Aided Verification, 8th International Conference, CAV 96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings. Volume 1102 of Lecture Notes in Computer Science, pages 50-61, Springer, 1996.

@inproceedings{Baier96,
  title = {Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation},
  author = {Christel Baier},
  year = {1996},
  tags = {testing},
  researchr = {https://researchr.org/publication/Baier96},
  cites = {0},
  citedby = {0},
  pages = {50-61},
  booktitle = {Computer Aided Verification, 8th International Conference, CAV  96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
  editor = {Rajeev Alur and Thomas A. Henzinger},
  volume = {1102},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61474-5},
}