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

by S Bensalem, Y Lakhnech, S Owre
Venue:in Computer Aided Verification,