APA (7th ed.) Citation

Doan, T. T., Yuan, Y., Alechina, N., & Logan, B. (2014). Verifying heterogeneous multi-agent programs.

Chicago Style (17th ed.) Citation

Doan, Thu Trang, Yao Yuan, Natasha Alechina, and Brian Logan. Verifying Heterogeneous Multi-agent Programs. 2014.

MLA (9th ed.) Citation

Doan, Thu Trang, et al. Verifying Heterogeneous Multi-agent Programs. 2014.