Automatic Verification of Parametric Specifications with Complex Topologies
Dominique Méry; Stephan Merz (Hrsg). Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Berlin: Springer 2010 S. 152 - 167
Erscheinungsjahr: 2010
ISBN/ISSN: 978-3-642-16264-0
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-642-16265-7_12
| Geprüft | Bibliothek |
Autoren
Faber, Johannes (Autor)
Ihlemann, Carsten (Autor)
Jacobs, Swen (Autor)
