SAT-Based Explicit LTL Reasoning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jianwen Li, Shufang Zhu, Geguang Pu, Moshe Y. Vardi. SAT-Based Explicit LTL Reasoning. In Nir Piterman, editor, Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Volume 9434 of Lecture Notes in Computer Science, pages 209-224, Springer, 2015. [doi]

This author has not been identified. Look up 'Jianwen Li' in GoogleThis author has not been identified. Look up 'Shufang Zhu' in GoogleThis author has not been identified. Look up 'Geguang Pu' in GoogleThis author has not been identified. Look up 'Moshe Y. Vardi' in Google

runs on WebDSL