Cited in
(9)- Model Checking Real-Time Systems
- Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic
- scientific article; zbMATH DE number 1956587 (Why is no real title available?)
- GEZEL
- MCK
- UPPAAL CORA
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems
- Specification and Verification of Multi-Agent Systems
- Symbolic model checking for temporal-epistemic logic
This page was built for software: Verics
