Automatic Verification of Parametric Specifications with Complex Topologies
CoRR. Bd. abs/1010.1602. 2010
Erscheinungsjahr: 2010
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
Autoren
Faber, Johannes (Autor)
Ihlemann, Carsten (Autor)
Jacobs, Swen (Autor)