- Tytuł:
-
Model Checking Temporal Properties of Reaction Systems
Weryfikacja temporalnych własności systemów reakcyjnych - Autorzy:
-
Męski, A.
Penczek, W.
Rozenberg, G. - Tematy:
-
reaction systems
model checking
temporal logic
systemy reakcyjne
weryfikacja modelowa
logika temporalna - Pokaż więcej
- Data publikacji:
- 2014
- Wydawca:
- Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
- Dostawca treści:
- Biblioteka Nauki
Artykuł