APA (7th ed.) Citation

Alechina, N., Bulling, N., Logan, B., & Nguyen, H. N. (2015). On the boundary of (un)decidability: Decidable model-checking for a fragment of resource agent logic.

Chicago Style (17th ed.) Citation

Alechina, Natasha, Nils Bulling, Brian Logan, and Hoang Nga Nguyen. On the Boundary of (un)decidability: Decidable Model-checking for a Fragment of Resource Agent Logic. 2015.

MLA (9th ed.) Citation

Alechina, Natasha, et al. On the Boundary of (un)decidability: Decidable Model-checking for a Fragment of Resource Agent Logic. 2015.