Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels. Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples. In 12th IEEE High Assurance Systems Engineering Symposium, HASE 2010, San Jose, CA, USA, November 3-4, 2010. pages 74-83, IEEE Computer Society, 2010. [doi]

This author has not been identified. Look up 'Thomas Bochot' in GoogleThis author has not been identified. Look up 'Pierre Virelizier' in GoogleThis author has not been identified. Look up 'Hélène Waeselynck' in GoogleThis author has not been identified. Look up 'Virginie Wiels' in Google

runs on WebDSL