bibtex

@incollection{Fre09,
    title = {Tools for the verification of linear hybrid automata models },
    author = {Frehse, Goran},
    year = {2009},
    booktitle = {Handbook of Hybrid Systems Control, Theory -- Tools -- Applications},
    note = {to appear},
    publisher = {Cambridge University Press},
    team = {TEMPO},
}


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

info visites 4159344