| Title: | Exact and Fully Symbolic Verication of Linear Hybrid Automata with Large Discrete State Spaces | Authors: | Damm, Werner Dierks, Henning Disch, Stefan Hagemann, Willem Pigorsch, Florian Scholl, Christoph Waldmann, Uwe Wirtz, BorisWirtz, Boris |
Issue Date: | 2012 | Journal or Series Name: | Science of computer programming : methods of software design: techniques and applications | Volume: | 77 | Issue: | 10-11 | Startpage: | 1122 | Endpage: | 1150 | URI: | http://hdl.handle.net/20.500.12738/1612 | Institute: | Department Informations- und Elektrotechnik Fakultät Technik und Informatik |
Type: | Article |
| Appears in Collections: | Publications without full text |
Show full item record
Add Files to Item
Note about this record
Export
Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.