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

by Claire Loiseaux , Susanne Graf , Joseph Sifakis , Ahmed Bouajjani , Saddek Bensalem
Venue:FORMAL METHODS IN SYSTEM DESIGN, VOL 6, ISS
Citations:137 - 5 self