BibTeX record conf/memocode/ForetsF020

download as .bib file

@inproceedings{DBLP:conf/memocode/ForetsF020,
  author    = {Marcelo Forets and
               Daniel Freire and
               Christian Schilling},
  title     = {Efficient reachability analysis of parametric linear hybrid systems
               with time-triggered transitions},
  booktitle = {{MEMOCODE}},
  pages     = {1--6},
  publisher = {{IEEE}},
  year      = {2020}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics