Property preserving abstractions for the verification of concurrent systems (1995)

by C Loiseaux, S Graf, J Sifakis, A Bouajjani, S Bensalem
Venue:Formal Methods in System Design 6