Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata
CoRR. S. 1 - 50
Publikationstyp: Preprint (noch nicht publizierte Dokumente)
Sprache: Englisch
Doi/URN: 10.48550/arXiv.1601.01648
| Geprüft | Bibliothek |
