Verimag

bibtex

@inproceedings{HNR+98,
    title = {Test automatique de syst\`emes r\'eactifs },
    author = {Halbwachs, Nicolas and Nicollin, Xavier and Raymond, Pascal and Weber, Daniel},
    month = {jul},
    year = {1998},
    booktitle = {Ecole d'\'et\'e ``MOd\'elisation et V\'Erification des Processus parall\`eles},
    address = {Nantes},
    team = {SYNC},
}

Publication Sections


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

info visites 778719