@inproceedings{MajumdarOuakninePoulyWorrell:CONCUR:2020,
    Address = {Dagstuhl, Germany},
    Annote = {Keywords: Hybrid automata, algebraic invariants},
    Author = {Majumdar, Rupak and Ouaknine, Jo{\"e}l and Pouly, Amaury and Worrell, James},
    BookTitle = {31st International Conference on Concurrency Theory (CONCUR 2020)},
    Editor = {Konnov, Igor and Kov{\'a}cs, Laura},
    File = {Algebraic Invariants for Linear Hybrid Automata - LIPIcs-CONCUR-2020-32 - a - l.pdf},
    ISBN = {978-3-95977-160-3},
    ISSN = {1868-8969},
    Pages = {32:1--32:17},
    Publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
    Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
    Title = {{Algebraic Invariants for Linear Hybrid Automata}},
    URL = {https://drops.dagstuhl.de/opus/volltexte/2020/12844},
    Volume = {171},
    Year = {2020},
    bdsk-url-1 = {https://drops.dagstuhl.de/opus/volltexte/2020/12844},
    bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.32},
    date-added = {2020-09-03 13:15:50 +0200},
    date-modified = {2020-09-03 13:15:50 +0200},
    urn = {urn:nbn:de:0030-drops-128443},
    doi = {10.4230/LIPIcs.CONCUR.2020.32}
}

@inproceedings{MajumdarOuakninePoulyWorrell:CONCUR:2020, Address = {Dagstuhl, Germany}, Annote = {Keywords: Hybrid automata, algebraic invariants}, Author = {Majumdar, Rupak and Ouaknine, Jo{\"e}l and Pouly, Amaury and Worrell, James}, BookTitle = {31st International Conference on Concurrency Theory (CONCUR 2020)}, Editor = {Konnov, Igor and Kov{\'a}cs, Laura}, File = {Algebraic Invariants for Linear Hybrid Automata - LIPIcs-CONCUR-2020-32 - a - l.pdf}, ISBN = {978-3-95977-160-3}, ISSN = {1868-8969}, Pages = {32:1--32:17}, Publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}, Series = {Leibniz International Proceedings in Informatics (LIPIcs)}, Title = {{Algebraic Invariants for Linear Hybrid Automata}}, URL = {https://drops.dagstuhl.de/opus/volltexte/2020/12844}, Volume = {171}, Year = {2020}, bdsk-url-1 = {https://drops.dagstuhl.de/opus/volltexte/2020/12844}, bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.32}, date-added = {2020-09-03 13:15:50 +0200}, date-modified = {2020-09-03 13:15:50 +0200}, urn = {urn:nbn:de:0030-drops-128443}, doi = {10.4230/LIPIcs.CONCUR.2020.32} }