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


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

info visites 4097405