Automatic Verification of Parametric Specifications with Complex Topologies
S. 1 - 16
Publikationstyp: (noch) nicht publizierte Dokumente
Sprache: Englisch
Doi/URN: 10.48550/arXiv.1010.1602
Autoren
Faber, Johannes (Autor)
Ihlemann, Carsten (Autor)
Jacobs, Swen (Autor)
Sofronie-Stokkermans, Viorica (Autor)