APA (7th ed.) Citation

Bozzelli, L., Murano, A., & Peron, A. (2020). Module checking of pushdown multi-agent systems.

Chicago Style (17th ed.) Citation

Bozzelli, Laura, Aniello Murano, and Adriano Peron. Module Checking of Pushdown Multi-agent Systems. 2020.

MLA (9th ed.) Citation

Bozzelli, Laura, et al. Module Checking of Pushdown Multi-agent Systems. 2020.