Nguyen, H., Alechina, N., Logan, B., & Raimondi, F. (2014). Decidable model-checking for a resource logic with production of resources. ECAI 2014 : 21st European Conference on Artificial Intelligence. doi:10.3233/978-1-61499-419-0-9
Chicago Style CitationNguyen, Hoang, Natasha Alechina, Brian Logan, and Franco Raimondi. "Decidable Model-checking for a Resource Logic With Production of Resources." ECAI 2014 : 21st European Conference On Artificial Intelligence 2014.
MLA CitationNguyen, Hoang, Natasha Alechina, Brian Logan, and Franco Raimondi. "Decidable Model-checking for a Resource Logic With Production of Resources." ECAI 2014 : 21st European Conference On Artificial Intelligence 2014.
Warning: These citations may not always be 100% accurate.