D | |
---|---|
[DDD+12] | Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, and Boris Wirtz. Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. Science of Computer Programming 77(10-11):1122-1150. Elsevier, September 2012. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1