Automatic Verification of Parametric Specifications with Complex Topologies
CoRR. S. 1 - 16
Publikationstyp: Preprint (noch nicht publizierte Dokumente)
Sprache: Englisch
Doi/URN: 10.48550/arXiv.1010.1602
| Geprüft | Bibliothek |
Autoren
Faber, Johannes (Autor)
Ihlemann, Carsten (Autor)
Jacobs, Swen (Autor)
