- Tytuł:
- Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems
- Autorzy:
-
Lomuscio, A.
Penczek, W.
Qu, H. - Data publikacji:
- 2010
- Słowa kluczowe:
-
semantics
behavioural equivalence
model checking - Pokaż więcej
- Dostawca treści:
- BazTech