- Tytuł:
- Unbounded Model Checking for Knowledge and Time
- Autorzy:
-
Kacprzak, M.
Lomuscio, A.
Penczek, W. - Data publikacji:
- 2003
- Słowa kluczowe:
-
nieograniczona weryfikacja modelowa
weryfikacja modelowa
model checking
unbounded model checking
multi-agent system - Pokaż więcej
- Dostawca treści:
- BazTech