Home > Verimag > Publications

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