Searching for "Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Towards partial order reduction for model checking temporal epistemic logic
by Alessio Lomuscio, Wojciech Penczek, Hongyang Qu
…Towards partial order reduction for model checking temporal epistemic logic Alessio Lomuscio 1…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB