@article{Dam2006,Author = {Damm, W. and Disch, S. and Hungar, H. and Pang, J. and Pigorsch, F. and Scholl, C. and Waldmann, U. and Wirtz, B.},Title = {Automatic verification of hybrid systems with large discrete state space},Year = {2006},Month = {01},Editor = {Springer-Verlag},Publisher = {Springer-Verlag},Series = {Lecture Notes in Computer Science},Address = {Berlin, Heidelberg},Booktitle = {Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06)},type = {article}}@COMMENT{Bibtex file generated on }