Distance-guided hybrid verification with GUIDO - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Smitha Shyam, Valeria Bertacco. Distance-guided hybrid verification with GUIDO. In Georges G. E. Gielen, editor, Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006. pages 1211-1216, European Design and Automation Association, Leuven, Belgium, 2006. [doi]

This author has not been identified. Look up 'Smitha Shyam' in GoogleThis author has not been identified. Look up 'Valeria Bertacco' in Google

runs on WebDSL