APA (7th ed.) Citation

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.) Citation

Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Franco Raimondi. Decidable Model-checking for a Resource Logic with Production of Resources. 2014.

MLA (9th ed.) Citation

Alechina, Natasha, et al. Decidable Model-checking for a Resource Logic with Production of Resources. 2014.