Hierarchical Reasoning for the Verification of Parametric Systems.
IJCAR. 2010 S. 171 - 187
Erscheinungsjahr: 2010
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-642-14203-1_15
Geprüft | Bibliothek |
IJCAR. 2010 S. 171 - 187
Erscheinungsjahr: 2010
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-642-14203-1_15
Geprüft | Bibliothek |