@inproceedings{Dam2007, Author = {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}, Title = {Exact state set representations in the verification of linear hybrid systems with large discrete state-space}, Year = {2007}, Pages = {425-440}, Month = {01}, Editor = {Springer Verlag}, Publisher = {Springer Verlag}, Series = {Lecture Notes in Computer Science 4762}, Booktitle = {Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007}, type = {inproceedings} } @COMMENT{Bibtex file generated on }