Verimag

bibtex

@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},
}

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 2.1.26 + AHUNTSIC [CC License]

Visiteurs connectés : 12 ; visites : 422018