Symbolic Model Checking with Rich ssertional Languages - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar. Symbolic Model Checking with Rich ssertional Languages. In Orna Grumberg, editor, Computer Aided Verification, 9th International Conference, CAV 97, Haifa, Israel, June 22-25, 1997, Proceedings. Volume 1254 of Lecture Notes in Computer Science, pages 424-435, Springer, 1997.

This author has not been identified. Look up 'Yonit Kesten' in GoogleThis author has not been identified. Look up 'Oded Maler' in GoogleThis author has not been identified. Look up 'Monica Marcus' in GoogleIdentified as Amir Pnueli This author has not been identified. Look up 'Elad Shahar' in Google

runs on WebDSL