Automatic Verification of Parametric Specifications with Complex Topologies.
IFM. 2010 S. 152 - 167
Erscheinungsjahr: 2010
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-642-16265-7_12
Geprüft | Bibliothek |
Autoren
Faber, Johannes (Autor)
Ihlemann, Carsten (Autor)
Jacobs, Swen (Autor)