Quantified Bounded Model Checking for Rectangular Hybrid Automata (bibtex)

by LV Nguyen, D Maksimovic, Taylor T. Johnson and A Veneris

Reference:

LV Nguyen, D Maksimovic, Taylor T. Johnson and A Veneris, "Quantified Bounded Model Checking for Rectangular Hybrid Automata", In 9th International Workshop on Constraints in Formal Verification (CFV'15), 2015.

Bibtex Entry:

@inproceedings{nguyen2015cfv,
  title = {Quantified Bounded Model Checking for Rectangular Hybrid Automata},
  author = {LV Nguyen and D Maksimovic and Taylor T. Johnson and A Veneris},
  year = {2015},
  booktitle = {9th International Workshop on Constraints in Formal Verification (CFV'15)},
  publabel = {W6},
  pubtype = {W},
  pdf = "research/nguyen2015cfv.pdf",
}