CFV 2015)"/> CFV 2015)"/> Quantified Bounded Model Checking for Rectangular Hybrid Automata (bibtex)
Quantified Bounded Model Checking for Rectangular Hybrid Automata (bibtex)
by , , ,
Reference:
Luan Viet Nguyen, Djordje Maksimovic, Taylor T. Johnson, Andreas Veneris, "Quantified Bounded Model Checking for Rectangular Hybrid Automata", In 9th International Workshop on Constraints in Formal Verification (CFV 2015), Austin, Texas, 2015, nov.
Bibtex Entry:
@inproceedings{nguyen2015cfv,
  author	= {Luan Viet Nguyen and Djordje Maksimovic and Taylor T. Johnson and Andreas Veneris},
  title		= {Quantified Bounded Model Checking for Rectangular Hybrid Automata},
  year		= {2015},
  month		= nov,
  Booktitle	= {9th International Workshop on Constraints in Formal Verification (<a href="http://web.engr.oregonstate.edu{\~}alex/cfv15.html">CFV 2015</a>)},
  address	= {Austin, Texas},
  pdf		= {http://www.taylortjohnson.com/research/nguyen2015cfv.pdf},
}
Powered by bibtexbrowser