Hierarchical Reasoning for the Verification of Parametric Systems
Jürgen Giesl; Reiner Hähnle (Hrsg). Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Berlin: Springer 2010 S. 171 - 187
Erscheinungsjahr: 2010
ISBN/ISSN: 978-3-642-14202-4
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-642-14203-1_15
| Geprüft | Bibliothek |
