Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Panagiotis Manolios, Kedar S. Namjoshi, Robert Summers. Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation. In Nicolas Halbwachs, Doron Peled, editors, Computer Aided Verification, 11th International Conference, CAV 99, Trento, Italy, July 6-10, 1999, Proceedings. Volume 1633 of Lecture Notes in Computer Science, pages 369-379, Springer, 1999. [doi]

This author has not been identified. Look up 'Panagiotis Manolios' in GoogleThis author has not been identified. Look up 'Kedar S. Namjoshi' in GoogleThis author has not been identified. Look up 'Robert Summers' in Google

runs on WebDSL