Polynomial-time algorithms for testing probabilistic bisimulation and simulation (1996)

by C Baier
Venue:Proceedings of the Eighth International Conference on Computer Aided Verification CAV