bibtex

@inproceedings{ABC+7,
    title = {{ARCH-COMP17} Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics },
    author = {Althoff, Matthias and Bak, Stanley and Cattaruzza, Dario and Chen, Xin and Frehse, Goran and Ray, Rajarshi and Schupp, Stefan},
    year = {2017},
    booktitle = {{ARCH17.} 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, {USA}},
    pages = {143--159},
    team = {TEMPO},
}


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

info visites 4087306