Gutierrez, J., Najib, M., Perelli, G., & Wooldridge, M. (2020). Automated temporal equilibrium analysis: Verification and synthesis of multi-player games. Elsevier.
Chicago Style aipamenaGutierrez, J., M. Najib, G. Perelli, and M. Wooldridge. Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-player Games. Elsevier, 2020.
MLA aipamenaGutierrez, J., et al. Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-player Games. Elsevier, 2020.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.