@inproceedings{AAB+99a,
title = {Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis },
author = {Abdulla, Parosh Aziz and Annichini-Collomb, Aurore and Bensalem, Saddek and Bouajjani, Ahmed and Habermehl, Peter and Lakhnech, Yassine},
year = {1999},
booktitle = {Computer Aided Verification'99},
pages = {146-159},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = {1633},
team = {DCS},
}
