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


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

info visites 4155314