BibTeX record conf/icalp/FranzleSS018

download as .bib file

@inproceedings{DBLP:conf/icalp/FranzleSS018,
  author    = {Martin Fr{\"{a}}nzle and
               Mahsa Shirmohammadi and
               Mani Swaminathan and
               James Worrell},
  editor    = {Ioannis Chatzigiannakis and
               Christos Kaklamanis and
               D{\'{a}}niel Marx and
               Donald Sannella},
  title     = {Costs and Rewards in Priced Timed Automata},
  booktitle = {45th International Colloquium on Automata, Languages, and Programming,
               {ICALP} 2018, July 9-13, 2018, Prague, Czech Republic},
  series    = {LIPIcs},
  volume    = {107},
  pages     = {125:1--125:14},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2018},
  url       = {https://doi.org/10.4230/LIPIcs.ICALP.2018.125},
  doi       = {10.4230/LIPIcs.ICALP.2018.125},
  timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
  biburl    = {https://dblp.org/rec/conf/icalp/FranzleSS018.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics