Verics
From MaRDI portal
Software:21447
No author found.
Related Items (6)
Specification and Verification of Multi-Agent Systems ⋮ Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ Symbolic Model Checking for Temporal-Epistemic Logic ⋮ Model Checking Real-Time Systems ⋮ Unnamed Item ⋮ Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic
This page was built for software: Verics
