bibtex

@inproceedings{AMR+05,
    title = {Impl\'ementabilit\'e des automates temporis\'es },
    author = {Altisen, Karine and Markey, Nicolas and Reynier, Pierre-Alain and Tripakis, Stavros},
    year = {2005},
    booktitle = {Mod\'elisation des Syst\`emes R\'eactifs (MSR'05), session invit\'ee de l'ACI CORTOS},
    address = {Autrans, France},
    note = {in French},
    team = {SYNC},
}


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

info visites 4190121