bibtex

@inproceedings{SAC+5,
    title = {Current Challenges in the Verification of Hybrid Systems },
    author = {Schupp, Stefan and Abraham, Erika and Chen, Xin and Ben Makhlouf, Ibtissem and Frehse, Goran and Sankaranarayanan, Sriram and Kowalewski, Stefan},
    year = {2015},
    booktitle = {Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings},
    crossref = {DBLP:conf/cyphy/2015},
    pages = {8--24},
    team = {TEMPO},
}


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

info visites 4135533