TY  - RPRT
TI  - Assume-Guarantee Abstraction Refinement Meets Hybrid Systems
AU  - Bogomolov, Sergiy
AU  - Frehse, Goran
AU  - Greitschus, Marius
AU  - Grosu, Radu
AU  - Pasareanu, Corina S.
AU  - Podelski, Andreas
AU  - Strump, Thomas
PY  - 2014
UR  - https://ntrs.nasa.gov/citations/20150021848
ID  - 20150021848
ER  -