## Christel Baier

*Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation*

CAV, 1996.

@inproceedings{CAV-1996-Baier, author = "Christel Baier", booktitle = "{Proceedings of the Eighth International Conference on Computer Aided Verification}", doi = "10.1007/3-540-61474-5_57", isbn = "3-540-61474-5", pages = "50--61", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation}", volume = 1102, year = 1996, }