Deductive Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Henny Sipma, Tomás E. Uribe, Zohar Manna. Deductive Model Checking. In Rajeev Alur, Thomas A. Henzinger, editors, Computer Aided Verification, 8th International Conference, CAV 96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings. Volume 1102 of Lecture Notes in Computer Science, pages 208-219, Springer, 1996.

This author has not been identified. Look up 'Henny Sipma' in GoogleThis author has not been identified. Look up 'Tomás E. Uribe' in GoogleThis author has not been identified. Look up 'Zohar Manna' in Google

runs on WebDSL