APA (7th ed.) Citation

Alechina, N., Logan, B., Nguyen, H. N., & Raimondi, F. (2015). Symbolic model checking for one-resource RB+-ATL.

Chicago Style (17th ed.) Citation

Alechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Franco Raimondi. Symbolic Model Checking for One-resource RB+-ATL. 2015.

MLA (9th ed.) Citation

Alechina, Natasha, et al. Symbolic Model Checking for One-resource RB+-ATL. 2015.