Property preserving simulations. Computer Aided Verification (1992)

by S Bensalem, A Bouajjani, C Loiseaux, J Sifakis
Venue:CAV'92. Lecture Notes in Computer Science 663