Alechina, N., Logan, B., Nguyen, H. N., & Raimondi, F. (2014). Decidable model-checking for a resource logic with production of resources.
Chicago Style (17th ed.) CitationAlechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Franco Raimondi. Decidable Model-checking for a Resource Logic with Production of Resources. 2014.
MLA (9th ed.) CitationAlechina, Natasha, et al. Decidable Model-checking for a Resource Logic with Production of Resources. 2014.
Warning: These citations may not always be 100% accurate.