bibtex

@inproceedings{BLR95,
    title = {From duration calculus to linear hybrid automata },
    author = {Bouajjani, Ahmed and Lakhnech, Yassine and Robbana, Riadh},
    year = {1995},
    booktitle = {Computer Aided Verification},
    pages = {196-210},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    volume = {939},
    team = {DCS},
}


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

info visites 4121963