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 | Plan du site | Site réalisé avec SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3900248