- Tytuł:
- Towards partial order reductions for fragments of alternating-time temporal logic
- Autorzy:
-
Dembiński, P.
Jamroga, W.
Mazurkiewicz, A.
Penczek, W. - Data publikacji:
- 2016
- Słowa kluczowe:
-
Alternating-Time Temporal Logic
asynchronous systems
partial order reduction
traces
logika temporalna czasu alternującego
systemy asynchroniczne
redukcje częścio-porządkowe
ślady - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł