Explaining Counterexamples Using Causality - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler. Explaining Counterexamples Using Causality. In Ahmed Bouajjani, Oded Maler, editors, Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings. Volume 5643 of Lecture Notes in Computer Science, pages 94-108, Springer, 2009. [doi]

This author has not been identified. Look up 'Ilan Beer' in GoogleThis author has not been identified. Look up 'Shoham Ben-David' in GoogleThis author has not been identified. It may be one of the following persons:

Hana Chockler

Look up 'Hana Chockler' in GoogleThis author has not been identified. Look up 'Avigail Orni' in GoogleThis author has not been identified. Look up 'Richard J. Trefler' in Google

runs on WebDSL