Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems.
CADE. 2013 S. 360 - 376
Erscheinungsjahr: 2013
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-642-38574-2_25
Geprüft | Bibliothek |
CADE. 2013 S. 360 - 376
Erscheinungsjahr: 2013
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-642-38574-2_25
Geprüft | Bibliothek |