@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 }