Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata.
HSCC. 2011 S. 73 - 82
Erscheinungsjahr: 2011
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1145/1967701.1967714
Geprüft | Bibliothek |
HSCC. 2011 S. 73 - 82
Erscheinungsjahr: 2011
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1145/1967701.1967714
Geprüft | Bibliothek |