@inproceedings{dblp-conf-formats-jurdzinskit08,
  title = {Concavely-Priced Timed Automata},
  author = {Marcin Jurdzinski and Ashutosh Trivedi},
  year = {2008},
  url = {https://dblp.org/rec/conf/formats/JurdzinskiT08},
  booktitle = {FORMATS 2008}
}