Model-checking for Resource-Bounded ATL with production and consumption of resources (2017)
By: Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Franco Raimondi
Download Information
Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Franco Raimondi (2017). "Model-checking for Resource-Bounded ATL with production and consumption of resources." Journal of Computer and System Sciences, 88, 126-144.
Bibtex citation
@article{Alechina//:16d,
author = {Natasha Alechina and Brian Logan and Nguyen, Hoang Nga and Franco Raimondi},
title = {Model-checking for Resource-Bounded {ATL} with production and consumption of resources},
journal = {Journal of Computer and System Sciences},
volume = 88,
pages = {126--144},
year = 2017,
month = {September},
doi = {doi.org/10.1016/j.jcss.2017.03.008},
} full list
