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


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4159333