Your search returned the following document:
-
Automatic Verification of Hybrid Systems with Large Discrete State Space
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, and Boris Wirtz
In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, 2006, 276-291