BibTeX record conf/acsd/AndreLR18

download as .bib file

@inproceedings{DBLP:conf/acsd/AndreLR18,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Didier Lime and
                  Mathias Ramparison},
  title        = {Timed Automata with Parametric Updates},
  booktitle    = {18th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2018, Bratislava, Slovakia, June 25-29, 2018},
  pages        = {21--29},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2018.000-2},
  doi          = {10.1109/ACSD.2018.000-2},
  timestamp    = {Sat, 19 Oct 2019 20:16:14 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/AndreLR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}