Automatic verification of hybrid systems with large discrete state space

BIB
Damm, W. and Disch, S. and Hungar, H. and Pang, J. and Pigorsch, F. and Scholl, C. and Waldmann, U. and Wirtz, B.
Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06)
01 / 2006
article
Springer-Verlag
Lecture Notes in Computer Science
Springer-Verlag