Verimag

bibtex

@inproceedings{PHR01,
    title = { Counter-example generation in symbolic abstract model-checking },
    author = {Pace, Gordon and Halbwachs, Nicolas and Raymond, Pascal},
    month = {jul},
    year = {2001},
    booktitle = {6th International Workshop on Formal Methods for Industrial Critical Systems, FMICS'2001},
    address = {Paris},
    publisher = {Inria},
    team = {SYNC},
}

URL

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 4 ; visits: 423464