bibtex

@inproceedings{FKN+8,
    title = {A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates },
    author = {Frehse, Goran and Kekatos, Nikolaos and Nickovic, Dejan and Oehlerking, Jens and Schuler, Simone and Walsch, Alexander and Woehrle, Matthias},
    month = {06},
    year = {2018},
    booktitle = {2018 Annual American Control Conference (ACC)},
    pages = {2384-2391},
    team = {TEMPO},
}


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

info visites 4191120