Controlling Actions and Time in Parametric Timed Automata

Étienne André, Michal Knapik, Wojciech Penczek, Laure Petrucci. Controlling Actions and Time in Parametric Timed Automata. In Jörg Desel, Alex Yakovlev, editors, 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016. pages 45-54, IEEE Computer Society, 2016. [doi]

@inproceedings{AndreKPP16,
  title = {Controlling Actions and Time in Parametric Timed Automata},
  author = {Étienne André and Michal Knapik and Wojciech Penczek and Laure Petrucci},
  year = {2016},
  doi = {10.1109/ACSD.2016.20},
  url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2016.20},
  researchr = {https://researchr.org/publication/AndreKPP16},
  cites = {0},
  citedby = {0},
  pages = {45-54},
  booktitle = {16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016},
  editor = {Jörg Desel and Alex Yakovlev},
  publisher = {IEEE Computer Society},
  isbn = {978-1-5090-2589-3},
}