Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata - OFFIS

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Home
OFFIS
Publikationen
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata

Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata

Export

All authors

Damm, Werner and Horbach, Matthias and Sofronie-Stokkermans, Viorica

Booktitle

Frontiers of Combining Systems

Publishing date

2015

Type of Publication

incollection

Publisher

Springer International Publishing

Series

Lecture Notes in Computer Science

Pages

186-202

Doi

10.1007/978-3-319-24246-0_12

Privacy Data Transparency Contact Legals