Natasha Alechina's Publications

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. pdf    

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