Read, Write and Copy Dependencies for Symbolic Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jeroen Meijer, Gijs Kant, Stefan Blom, Jaco van de Pol. Read, Write and Copy Dependencies for Symbolic Model Checking. In Eran Yahav, editor, Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings. Volume 8855 of Lecture Notes in Computer Science, pages 204-219, Springer, 2014. [doi]

This author has not been identified. Look up 'Jeroen Meijer' in GoogleThis author has not been identified. Look up 'Gijs Kant' in GoogleThis author has not been identified. Look up 'Stefan Blom' in GoogleThis author has not been identified. Look up 'Jaco van de Pol' in Google

runs on WebDSL