VOLUME 17

2012

NUMBERS 2–4

Logical Analysis of Hybrid Systems: a Complete Answer to a Complexity Challenge

André Platzer

Pages 265–275

Download Abstract
Fulltext is accessible with your personal account
ShowHide BibTeX

BibTeX:

@article{JALC-2012-265,
  author  = {Andr{\'{e}} Platzer},
  title   = {Logical Analysis of Hybrid Systems: a Complete Answer to a Complexity Challenge},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume  = {17},
  number  = {2--4},
  pages   = {265--275},
  year    = {2012},
  url     = {https://doi.org/10.25596/jalc-2012-265},
  doi     = {10.25596/jalc-2012-265}
}