![](/img/cover-not-exists.png)
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris WirtzVolume:
77
Year:
2012
Language:
english
Pages:
1
DOI:
10.1016/j.scico.2011.07.006
File:
PDF, 883 KB
english, 2012