S.: Computing abstractions of infinite state systems automatically and compositionally (0)

by S Bensalem, Y Lakhnech, Owre
Venue:In: CAV’98. Volume 1427 of LNCS. 319–331