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