APA (7th ed.) Citation

Alechina, N., Logan, B., Nguyen, H. N., & Raimondi, F. (2017). Model-checking for resource-bounded ATL with production and consumption of resources. Elsevier.

Chicago Style (17th ed.) Citation

Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Franco Raimondi. Model-checking for Resource-bounded ATL with Production And consumption of Resources. Elsevier, 2017.

MLA (9th ed.) Citation

Alechina, Natasha, et al. Model-checking for Resource-bounded ATL with Production And consumption of Resources. Elsevier, 2017.