Automatic Verification of Hybrid Systems with Large Discrete State Space - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz. Automatic Verification of Hybrid Systems with Large Discrete State Space. In Susanne Graf, Wenhui Zhang, editors, Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Volume 4218 of Lecture Notes in Computer Science, pages 276-291, Springer, 2006. [doi]

This author has not been identified. Look up 'Werner Damm' in GoogleThis author has not been identified. Look up 'Stefan Disch' in GoogleThis author has not been identified. Look up 'Hardi Hungar' in GoogleThis author has not been identified. Look up 'Jun Pang' in GoogleThis author has not been identified. Look up 'Florian Pigorsch' in GoogleThis author has not been identified. Look up 'Christoph Scholl' in GoogleThis author has not been identified. Look up 'Uwe Waldmann' in GoogleThis author has not been identified. Look up 'Boris Wirtz' in Google

runs on WebDSL