BibTeX record conf/fsttcs/Baier0JKLOPPW20

download as .bib file

@inproceedings{DBLP:conf/fsttcs/Baier0JKLOPPW20,
  author    = {Christel Baier and
               Florian Funke and
               Simon Jantsch and
               Toghrul Karimov and
               Engel Lefaucheux and
               Jo{\"{e}}l Ouaknine and
               Amaury Pouly and
               David Purser and
               Markus A. Whiteland},
  editor    = {Nitin Saxena and
               Sunil Simon},
  title     = {Reachability in Dynamical Systems with Rounding},
  booktitle = {40th {IARCS} Annual Conference on Foundations of Software Technology
               and Theoretical Computer Science, {FSTTCS} 2020, December 14-18, 2020,
               {BITS} Pilani, {K} {K} Birla Goa Campus, Goa, India (Virtual Conference)},
  series    = {LIPIcs},
  volume    = {182},
  pages     = {36:1--36:17},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2020},
  url       = {https://doi.org/10.4230/LIPIcs.FSTTCS.2020.36},
  doi       = {10.4230/LIPIcs.FSTTCS.2020.36},
  timestamp = {Thu, 16 Sep 2021 18:08:16 +0200},
  biburl    = {https://dblp.org/rec/conf/fsttcs/Baier0JKLOPPW20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics