Nguyen, H., Alechina, N., Logan, B., & Raimondi, F. (2017). Model-checking for Resource-Bounded ATL with production and consumption of resources. Journal of Computer and System Sciences, 88, pp. 126-144. doi:10.1016/j.jcss.2017.03.008
Chicago Style CitationNguyen, Hoang, Natasha Alechina, Brian Logan, and Franco Raimondi. "Model-checking for Resource-Bounded ATL With Production and Consumption of Resources." Journal of Computer and System Sciences 88 (2017): 126-144.
MLA CitationNguyen, Hoang, Natasha Alechina, Brian Logan, and Franco Raimondi. "Model-checking for Resource-Bounded ATL With Production and Consumption of Resources." Journal of Computer and System Sciences 88 (2017): 126-144.
Warning: These citations may not always be 100% accurate.