APA (7th ed.) Citation

Laibinis, L., Pereverzeva, I., & Troubitsyna, E. (2017). Formal reasoning about resilient goal-oriented multi-agent systems. Science of computer programming, 148, 66-87. https://doi.org/10.1016/j.scico.2017.05.008

Chicago Style (17th ed.) Citation

Laibinis, L., I. Pereverzeva, and E. Troubitsyna. "Formal Reasoning About Resilient Goal-oriented Multi-agent Systems." Science of Computer Programming 148 (2017): 66-87. https://doi.org/10.1016/j.scico.2017.05.008.

MLA (9th ed.) Citation

Laibinis, L., et al. "Formal Reasoning About Resilient Goal-oriented Multi-agent Systems." Science of Computer Programming, vol. 148, 2017, pp. 66-87, https://doi.org/10.1016/j.scico.2017.05.008.