Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata
Carsten Lutz; Silvio Ranise (Hrsg). Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2015 S. 186 - 202
Erscheinungsjahr: 2015
ISBN/ISSN: 978-3-319-24245-3
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-319-24246-0_12
| Geprüft | Bibliothek |
