BibTeX record conf/adhs/TanP21

download as .bib file

@inproceedings{DBLP:conf/adhs/TanP21,
  author    = {Yong Kiam Tan and
               Andr{\'{e}} Platzer},
  title     = {Switched Systems as Hybrid Programs},
  booktitle = {{ADHS}},
  series    = {IFAC-PapersOnLine},
  volume    = {54},
  number    = {5},
  pages     = {247--252},
  publisher = {Elsevier},
  year      = {2021}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics