Completeness and Complexity of Bounded Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman. Completeness and Complexity of Bounded Model Checking. In Bernhard Steffen, Giorgio Levi, editors, Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings. Volume 2937 of Lecture Notes in Computer Science, pages 85-96, Springer, 2004. [doi]

This author has not been identified. Look up 'Edmund M. Clarke' in GoogleThis author has not been identified. Look up 'Daniel Kroening' in GoogleThis author has not been identified. Look up 'Joël Ouaknine' in GoogleThis author has not been identified. Look up 'Ofer Strichman' in Google

runs on WebDSL