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