Gutierrez, J., Najib, M., Perelli, G., & Wooldridge, M. (2020). Automated temporal equilibrium analysis: Verification and synthesis of multi-player games. Elsevier.
Chicago-čujuhus (17. p.)Gutierrez, J., M. Najib, G. Perelli, juo M. Wooldridge. Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-player Games. Elsevier, 2020.
MLA-čujuhus (9. p.)Gutierrez, J., et al. Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-player Games. Elsevier, 2020.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.