Natasha Alechina's Publications

Decidable Model-Checking for a Resource Logic with Production of Resources (2014)

By: Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Franco Raimondi

Download Information

Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Franco Raimondi (2014). "Decidable Model-Checking for a Resource Logic with Production of Resources." Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014) (pp. "9-14", ). pdf    

Bibtex citation

@inproceedings{Alechina//:14c,
author = "Natasha Alechina and Brian Logan and Nguyen, Hoang Nga and Franco Raimondi",
title = "Decidable Model-Checking for a Resource Logic with Production of Resources",
booktitle = "Proceedings of the 21st European Conference on Artificial Intelligence ({ECAI}-2014)",
pages = "9--14",
year = 2014,
address = "Prague, Czech Republic",
month = "August",
organization = "ECCAI",
publisher = "IOS Press",
}

full list