bibtex

@inproceedings{AD7c,
    title = {Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems },
    author = {Adimoolam, Arvind S. and Dang, Thao},
    year = {2017},
    booktitle = {Formal Modeling and Analysis of Timed Systems - 15th International Conference, {FORMATS} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
    pages = {97--115},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {10419},
    team = {axe_Mohytos, TEMPO},
}


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

info visites 4092502