Bisimulation through probabilistic testing (1991)

by K G Larsen, A Skou
Venue:Inf. and Comp