Computing abstractions of infinite state systems automatically and compositionally (1998)

by S Bensalem, Y Lakhnech, S Owre
Venue:Proceedings of the 10th International Conference On Computer Aided Verification, volume 1427 of LNCS