bibtex

@inproceedings{OH08,
    title = { On the timed automata-based verification of {R}avenscar systems },
    author = {Ober, Ileana and Halbwachs, Nicolas},
    month = {jun},
    year = {2008},
    booktitle = {13th International Conference on Reliable Software Technologies - Ada-Europe 2008},
    address = {Venice, Italy},
    team = {SYNC},
}

URL


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

info visites 3900522