TY  - BOOK
AU  - Męski,Artur
AU  - Penczek,Wojciech
AU  - Rozenberg,Grzegorz
ED  - Polska Akademia Nauk.
TI  - Model checking temporal properties of reaction systems
T2  - Prace IPI PAN =
PY  - 2014///
CY  - Warszawa
PB  - Instytut Podstaw Informatyki Polskiej Akademii Nauk
KW  - Logika temporalna
KW  - kaba
N1  - Na prawach rękopisu
ER  -