BibTeX record phd/hal/Ramparison19

download as .bib file

@phdthesis{DBLP:phd/hal/Ramparison19,
  author       = {Mathias Ramparison},
  title        = {On the theory and practice of updatable parametric timed automata.
                  (Sur la th{\'{e}}orie et l'application des automates param{\'{e}}tr{\'{e}}s
                  temporis{\'{e}}s avec mises {\`{a}} jour)},
  school       = {Paris 13 University, Villetaneuse, France},
  year         = {2019},
  url          = {https://tel.archives-ouvertes.fr/tel-03212631},
  timestamp    = {Tue, 25 May 2021 19:03:14 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Ramparison19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics