Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata.
FroCos. 2015 S. 186 - 202
Erscheinungsjahr: 2015
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-319-24246-0_12
Geprüft | Bibliothek |
FroCos. 2015 S. 186 - 202
Erscheinungsjahr: 2015
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/978-3-319-24246-0_12
Geprüft | Bibliothek |