Bisimulation throughprobabilistic testing. Information and Computation (1991)

by K G Larsen, A Skou
Venue:In ACM Conference on Computer andCommunication Security (CCS-5