Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessio Lomuscio, Wojciech Penczek, Hongyang Qu. Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic. In Doron Peled, Michael Wooldridge, editors, Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Volume 5348 of Lecture Notes in Computer Science, pages 106-121, Springer, 2008. [doi]

This author has not been identified. Look up 'Alessio Lomuscio' in GoogleThis author has not been identified. Look up 'Wojciech Penczek' in GoogleThis author has not been identified. Look up 'Hongyang Qu' in Google

runs on WebDSL