BibTeX record journals/sttt/BakBBJNS19

download as .bib file

  author    = {Stanley Bak and
               Omar Ali Beg and
               Sergiy Bogomolov and
               Taylor T. Johnson and
               Luan Viet Nguyen and
               Christian Schilling},
  title     = {Hybrid automata: from verification to implementation},
  journal   = {Int. J. Softw. Tools Technol. Transf.},
  volume    = {21},
  number    = {1},
  pages     = {87--104},
  year      = {2019}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics