Exact and Fully Symbolic Verication of Linear Hybrid Automata with Large Discrete State Spaces
- Link:
- Autor/in:
- Erscheinungsjahr:
- 2012
- Medientyp:
- Text
- Quellsystem:
- ReposIt
Interne Metadaten
- Quelldatensatz
- oai:reposit.haw-hamburg.de:20.500.12738/1612