Bozzelli, L., Murano, A., & Peron, A. (2020). Module checking of pushdown multi-agent systems.
Citazione stile Chigago Style (17a edizione)Bozzelli, Laura, Aniello Murano, e Adriano Peron. Module Checking of Pushdown Multi-agent Systems. 2020.
Citatione MLA (9a ed.)Bozzelli, Laura, et al. Module Checking of Pushdown Multi-agent Systems. 2020.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.