%0 Conference Paper %1 conf/fsttcs/Baier0JKLOPPW20 %A Baier, Christel %A Funke, Florian %A Jantsch, Simon %A Karimov, Toghrul %A Lefaucheux, Engel %A Ouaknine, Joël %A Pouly, Amaury %A Purser, David %A Whiteland, Markus A. %B FSTTCS %D 2020 %E Saxena, Nitin %E Simon, Sunil %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 36:1-36:17 %T Reachability in Dynamical Systems with Rounding. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2020.html#Baier0JKLOPPW20 %V 182 %@ 978-3-95977-174-0

@inproceedings{conf/fsttcs/Baier0JKLOPPW20, added-at = {2021-09-16T00:00:00.000+0200}, author = {Baier, Christel and Funke, Florian and Jantsch, Simon and Karimov, Toghrul and Lefaucheux, Engel and Ouaknine, Joël and Pouly, Amaury and Purser, David and Whiteland, Markus A.}, biburl = {https://www.bibsonomy.org/bibtex/27cad98d3476798f53481b58407e2d4cc/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2020}, editor = {Saxena, Nitin and Simon, Sunil}, ee = {https://doi.org/10.4230/LIPIcs.FSTTCS.2020.36}, interhash = {8b0fb02583bf0878d5c406c149c79c5e}, intrahash = {7cad98d3476798f53481b58407e2d4cc}, isbn = {978-3-95977-174-0}, keywords = {dblp}, pages = {36:1-36:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T01:21:25.000+0200}, title = {Reachability in Dynamical Systems with Rounding.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2020.html#Baier0JKLOPPW20}, volume = 182, year = 2020 }