Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems
Maria Paola Bonacina (Hrsg). Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings. Berlin: Springer 2013 S. 360 - 376
Erscheinungsjahr: 2013
ISBN/ISSN: 978-3-642-38573-5
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-642-38574-2_25
| Geprüft: | Bibliothek |
