Bisimulation through probabilistic testing (1991)

by Kim G Larsen, Arne Skou
Venue:Information and Computation