Verification of infinitestate systems by combining abstraction and reachability analysis (1999)

by P A Abdulla, A Annichini, S Bensalem, A Bouajjani
Venue:Lecture Notes in Computer Science