Brian Logan's Publications

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