- Tytuł:
- From Bounded to Unbounded Model Checking for Temporal Epistemic Logic
- Autorzy:
-
Kacprzak, M.
Lomuscio, A.
Penczek, W. - Data publikacji:
- 2004
- Słowa kluczowe:
-
multi-agent systems
temporal epistemic logic
model checking - Pokaż więcej
- Dostawca treści:
- BazTech