Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

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

CoRR. Bd. abs/1601.01648. 2016

Erscheinungsjahr: 2016

Publikationstyp: Zeitschriftenaufsatz

GeprüftBibliothek

Autoren

Damm, Werner (Autor)
Horbach, Matthias (Autor)
Sofronie-Stokkermans, Viorica (Autor)

Verknüpfte Personen

Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans

Beteiligte Einrichtungen

Logo Institut für Informatik
Logo Formale Methoden und Theoretische Informatik