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

by Saddek Bensalem, Yassine Lakhnech, Sam Owre
Venue:Computer-Aided Verification, CAV ’98, volume 1427 of Lecture Notes in Computer Science