BibTeX record conf/tap/AndreMP21

download as .bib file

@inproceedings{DBLP:conf/tap/AndreMP21,
  author    = {{\'{E}}tienne Andr{\'{e}} and
               Dylan Marinho and
               Jaco van de Pol},
  editor    = {Fr{\'{e}}d{\'{e}}ric Loulergue and
               Franz Wotawa},
  title     = {A Benchmarks Library for Extended Parametric Timed Automata},
  booktitle = {Tests and Proofs - 15th International Conference, {TAP} 2021, Held
               as Part of {STAF} 2021, Virtual Event, June 21-22, 2021, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12740},
  pages     = {39--50},
  publisher = {Springer},
  year      = {2021},
  url       = {https://doi.org/10.1007/978-3-030-79379-1\_3},
  doi       = {10.1007/978-3-030-79379-1\_3},
  timestamp = {Tue, 13 Jul 2021 13:27:55 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/AndreMP21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics