Properly preserving simulations (1992)

by S Bensalem, A Bouajjani, C Loiseau, J Sifakis
Venue:Compuwr Aided Verification'92, volume 663 of LNCS