Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources (2015)
By: Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Franco Raimondi
Download Information
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Franco Raimondi (2015). "Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources." CoRR, abs/1504.06766.
Bibtex citation
@article{Alechina//:15c,
author = {Natasha Alechina and Brian Logan and Nguyen Hoang Nga and Franco Raimondi},
title = {Technical Report: Model-Checking for Resource-Bounded {ATL} with Production and Consumption of Resources},
journal = {CoRR},
volume = {abs/1504.06766},
year = 2015,
url = {http://arxiv.org/abs/1504.06766},
} full list