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
Springer Verlag
Lecture Notes in Computer Science 4762
Springer Verlag