| Titel: | Exact and Fully Symbolic Verication of Linear Hybrid Automata with Large Discrete State Spaces | Autorenschaft: | Damm, Werner Dierks, Henning Disch, Stefan Hagemann, Willem Pigorsch, Florian Scholl, Christoph Waldmann, Uwe Wirtz, BorisWirtz, Boris |
Erscheinungsdatum: | 2012 | Zeitschrift oder Schriftenreihe: | Science of computer programming : methods of software design: techniques and applications | Zeitschriftenband: | 77 | Zeitschriftenausgabe: | 10-11 | Anfangsseite: | 1122 | Endseite: | 1150 | URI: | http://hdl.handle.net/20.500.12738/1612 | Einrichtung: | Department Informations- und Elektrotechnik Fakultät Technik und Informatik |
Dokumenttyp: | Zeitschriftenbeitrag |
| Enthalten in den Sammlungen: | Publications without full text |
Zur Langanzeige
Volltext ergänzen
Feedback zu diesem Datensatz
Export
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.