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

by S. Bensalem, Y. Lakhnech, S. Owre
Venue:PROCEEDINGS OF CAV ’98