A Data Symmetry Reduction Technique for Temporal-epistemic Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu. A Data Symmetry Reduction Technique for Temporal-epistemic Logic. In Zhiming Liu, Anders P. Ravn, editors, Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Volume 5799 of Lecture Notes in Computer Science, pages 69-83, Springer, 2009. [doi]

This author has not been identified. Look up 'Mika Cohen' in GoogleThis author has not been identified. Look up 'Mads Dam' in GoogleThis author has not been identified. Look up 'Alessio Lomuscio' in GoogleThis author has not been identified. Look up 'Hongyang Qu' in Google

runs on WebDSL