APA Citation

Nguyen, H., Alechina, N., Logan, B., Raimondi, F., & Mostarda, L. (2015). Symbolic model-checking for resource-bounded ATL. AAMAS'15: International Conference on Autonomous Agents and Multiagent Systems.

Chicago Style Citation

Nguyen, Hoang, Natasha Alechina, Brian Logan, Franco Raimondi, and Leonardo Mostarda. "Symbolic Model-checking for Resource-bounded ATL." AAMAS'15: International Conference On Autonomous Agents and Multiagent Systems 2015.

MLA Citation

Nguyen, Hoang, et al. "Symbolic Model-checking for Resource-bounded ATL." AAMAS'15: International Conference On Autonomous Agents and Multiagent Systems 2015.

Warning: These citations may not always be 100% accurate.