Verics
From MaRDI portal
Software:21447
swMATH9464MaRDI QIDQ21447FDOQ21447
Author name not available (Why is that?)
Cited In (6)
- Symbolic Model Checking for Temporal-Epistemic Logic
- Model Checking Real-Time Systems
- Specification and Verification of Multi-Agent Systems
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems
- Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic
- Title not available (Why is that?)
This page was built for software: Verics
