Bisimulation through probabilistic testing (1991)

by K G Larsen, A Skou
Venue:In Proceedings of the 8th International Conference On Computer Vision