Hybrid automata: from verification to implementation (bibtex)

by S Bak, OA Beg, S Bogomolov, Taylor T. Johnson, LV Nguyen and C Schilling

Reference:

S Bak, OA Beg, S Bogomolov, Taylor T. Johnson, LV Nguyen and C Schilling, "Hybrid automata: from verification to implementation", International Journal on Software Tools for Technology Transfer (STTT), Springer, vol. 21 (1), pp. 87–104, 2019.

Bibtex Entry:

@article{bak2019sttt,
  title = {Hybrid automata: from verification to implementation},
  author = {S Bak and OA Beg and S Bogomolov and Taylor T. Johnson and LV Nguyen and C Schilling},
  year = {2019},
  month = feb,
  journal = {International Journal on Software Tools for Technology Transfer (STTT), Springer},
  volume = {21 (1)},
  pages = {87--104},
  doi = {10.1007/s10009-017-0458-1},
  publabel = {J15},
  pubtype = {J},
  dblp = {journals/sttt/BakBBJNS19},
  pdf = "research/bak2019sttt.pdf",
}