@inproceedings{BhaveKrishnaTrivedi:V2CPS:2016,
    Author = {Bhave, Devendra and Krishna, Shankara Narayanan and Trivedi, Ashutosh},
    BookTitle = {Proc. of 2CPS@IFM 2016},
    Editor = {Kargahi, Mehdi and Trivedi, Ashutosh},
    File = {On Nonlinear Prices in Timed Automata - 1612.04976 - h.pdf},
    Pages = {65--78},
    Series = {{EPTCS}},
    Title = {On Nonlinear Prices in Timed Automata},
    URL = {https://doi.org/10.4204/EPTCS.232.9},
    Volume = {232},
    Year = {2016},
    bdsk-url-1 = {https://doi.org/10.4204/EPTCS.232.9},
    bibsource = {dblp computer science bibliography, https://dblp.org},
    biburl = {https://dblp.org/rec/journals/corr/BhaveKT16.bib},
    date-added = {2021-04-29 11:26:40 +0200},
    date-modified = {2021-04-29 11:27:18 +0200},
    timestamp = {Sat, 01 Dec 2018 13:41:45 +0100},
    doi = {10.4204/EPTCS.232.9}
}

@inproceedings{BhaveKrishnaTrivedi:V2CPS:2016, Author = {Bhave, Devendra and Krishna, Shankara Narayanan and Trivedi, Ashutosh}, BookTitle = {Proc. of 2CPS@IFM 2016}, Editor = {Kargahi, Mehdi and Trivedi, Ashutosh}, File = {On Nonlinear Prices in Timed Automata - 1612.04976 - h.pdf}, Pages = {65--78}, Series = {{EPTCS}}, Title = {On Nonlinear Prices in Timed Automata}, URL = {https://doi.org/10.4204/EPTCS.232.9}, Volume = {232}, Year = {2016}, bdsk-url-1 = {https://doi.org/10.4204/EPTCS.232.9}, bibsource = {dblp computer science bibliography, https://dblp.org}, biburl = {https://dblp.org/rec/journals/corr/BhaveKT16.bib}, date-added = {2021-04-29 11:26:40 +0200}, date-modified = {2021-04-29 11:27:18 +0200}, timestamp = {Sat, 01 Dec 2018 13:41:45 +0100}, doi = {10.4204/EPTCS.232.9} }