Nguyen, H., Alechina, N., Logan, B., & Raimondi, F. (2015). Symbolic model-checking for single resource RB+-ATL. Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015).
Chicago Style CitationNguyen, Hoang, Natasha Alechina, Brian Logan, and Franco Raimondi. "Symbolic Model-checking for Single Resource RB+-ATL." Proceedings of the Twenty-Fourth International Joint Conference On Artificial Intelligence (IJCAI 2015) 2015.
MLA CitationNguyen, Hoang, Natasha Alechina, Brian Logan, and Franco Raimondi. "Symbolic Model-checking for Single Resource RB+-ATL." Proceedings of the Twenty-Fourth International Joint Conference On Artificial Intelligence (IJCAI 2015) 2015.
Warning: These citations may not always be 100% accurate.