Verimag

bibtex

@inproceedings{Mal10d,
    title = { Amir Pnueli and the dawn of hybrid systems },
    author = {Maler, Oded},
    year = {2010},
    booktitle = {Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010},
    pages = {293-295},
    publisher = {ACM ACM},
    team = {TEMPO},
}

URL

PDF

Publication Sections


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

info visites 804420