%0 Conference Paper %1 conf/concur/MajumdarOP020 %A Majumdar, Rupak %A Ouaknine, Joël %A Pouly, Amaury %A Worrell, James %B CONCUR %D 2020 %E Konnov, Igor %E Kovács, Laura %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 32:1-32:17 %T Algebraic Invariants for Linear Hybrid Automata. %U http://dblp.uni-trier.de/db/conf/concur/concur2020.html#MajumdarOP020 %V 171 %@ 978-3-95977-160-3

@inproceedings{conf/concur/MajumdarOP020, added-at = {2021-09-16T00:00:00.000+0200}, author = {Majumdar, Rupak and Ouaknine, Joël and Pouly, Amaury and Worrell, James}, biburl = {https://www.bibsonomy.org/bibtex/2c20f022168f5a2f5bd8cbed71905aabc/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2020}, editor = {Konnov, Igor and Kovács, Laura}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.32}, interhash = {499b8ab13a9f6dee3448b26b2d62c6b4}, intrahash = {c20f022168f5a2f5bd8cbed71905aabc}, isbn = {978-3-95977-160-3}, keywords = {dblp}, pages = {32:1-32:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:47:38.000+0200}, title = {Algebraic Invariants for Linear Hybrid Automata.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2020.html#MajumdarOP020}, volume = 171, year = 2020 }