Verimag

bibtex

@inproceedings{Fre06,
    title = { On Timed Simulation Relations for Hybrid Systems and Compositionality },
    author = {Frehse, Goran},
    year = {2006},
    booktitle = {FORMATS 2006},
    pages = {200-214},
    publisher = {Springer},
    series = {LNCS},
    volume = {4202},
    team = {TEMPO},
}

URL

Publication Sections


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

info visites 876595