Efficient Decision Procedures for Model Checking of Linear Time Logic Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roderick Bloem, Kavita Ravi, Fabio Somenzi. Efficient Decision Procedures for Model Checking of Linear Time Logic Properties. 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 222-235, Springer, 1999. [doi]

This author has not been identified. Look up 'Roderick Bloem' in GoogleThis author has not been identified. Look up 'Kavita Ravi' in GoogleThis author has not been identified. Look up 'Fabio Somenzi' in Google

runs on WebDSL