@inproceedings{almagor_et_al:LIPIcs:2018:9118,
    Address = {Dagstuhl, Germany},
    Annote = {Keywords: Invariants, linear loops, linear dynamical systems, non-termination, o-minimality},
    Author = {Almagor, Shaull and Chistikov, Dmitry and Ouaknine, Jo{\"e}l and Worrell, James},
    BookTitle = {45th International Colloquium on Automata, Languages, and Programming (ICALP 2018)},
    Editor = {Chatzigiannakis, Ioannis and Kaklamanis, Christos and Marx, D{\'a}niel and Sannella, Donald},
    File = {O-Minimal Invariants for Linear Loops - o-minimal18.pdf},
    ISBN = {978-3-95977-076-7},
    ISSN = {1868-8969},
    Pages = {114:1--114:14},
    Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
    Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
    Title = {{O-Minimal Invariants for Linear Loops}},
    URL = {http://drops.dagstuhl.de/opus/volltexte/2018/9118},
    Volume = {107},
    Year = {2018},
    bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2018/9118},
    bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.ICALP.2018.114},
    date-added = {2021-04-13 13:16:36 +0200},
    date-modified = {2021-04-13 13:16:36 +0200},
    urn = {urn:nbn:de:0030-drops-91188},
    doi = {10.4230/LIPIcs.ICALP.2018.114}
}

@inproceedings{almagor_et_al:LIPIcs:2018:9118, Address = {Dagstuhl, Germany}, Annote = {Keywords: Invariants, linear loops, linear dynamical systems, non-termination, o-minimality}, Author = {Almagor, Shaull and Chistikov, Dmitry and Ouaknine, Jo{\"e}l and Worrell, James}, BookTitle = {45th International Colloquium on Automata, Languages, and Programming (ICALP 2018)}, Editor = {Chatzigiannakis, Ioannis and Kaklamanis, Christos and Marx, D{\'a}niel and Sannella, Donald}, File = {O-Minimal Invariants for Linear Loops - o-minimal18.pdf}, ISBN = {978-3-95977-076-7}, ISSN = {1868-8969}, Pages = {114:1--114:14}, Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, Series = {Leibniz International Proceedings in Informatics (LIPIcs)}, Title = {{O-Minimal Invariants for Linear Loops}}, URL = {http://drops.dagstuhl.de/opus/volltexte/2018/9118}, Volume = {107}, Year = {2018}, bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2018/9118}, bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.ICALP.2018.114}, date-added = {2021-04-13 13:16:36 +0200}, date-modified = {2021-04-13 13:16:36 +0200}, urn = {urn:nbn:de:0030-drops-91188}, doi = {10.4230/LIPIcs.ICALP.2018.114} }