bibtex

@article{PHR04,
    title = { Counter-example generation in symbolic abstract model-checking },
    author = {Pace, Gordon and Halbwachs, Nicolas and Raymond, Pascal},
    month = {mar},
    year = {2004},
    journal = {Software Tools for Technology Transfer},
    number = {2},
    volume = {5},
    team = {SYNC},
}

URL


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4121955