TY  - RPRT
TI  - Verifying Multi-Agent Systems via Unbounded Model Checking
AU  - Kacprzak, M.
AU  - Lomuscio, A.
AU  - Lasica, T.
AU  - Penczek, W.
AU  - Szreter, M.
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20050137708
ID  - 20050137708
ER  -