TY  - RPRT
TI  - Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources
AU  - Natasha Alechina
AU  - Brian Logan
AU  - Hoang Nga Nguyen
AU  - Franco Raimondi
PY  - 2015
UR  - https://arxiv.org/abs/1504.06766
ID  - 1504.06766
ER  -