Exact state set representations in the verification of linear hybrid systems with large discrete state-space
Damm, Werner and Disch, Stefan and Hungar, Hardi and Jacobs, Swen and Pang, Jun and Pigorsch, Florian and Scholl, Christoph and Waldmann, Uwe and Wirtz, Boris
Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007
01 / 2007
inproceedings
Springer Verlag
Lecture Notes in Computer Science 4762
425-440
Springer Verlag
