Formal Verification of Multi-Thread Minimax Behavior Using mCRL2 in the Connect 4.

MLA

Escobar, Diego, and Jesus Insuasti. “Formal Verification of Multi-Thread Minimax Behavior Using MCRL2 in the Connect 4.” Mathematics (2227-7390), vol. 13, no. 1, Jan. 2025, p. 96. EBSCOhost, https://doi.org/10.3390/math13010096.

APA

Escobar, D., & Insuasti, J. (2025). Formal Verification of Multi-Thread Minimax Behavior Using mCRL2 in the Connect 4. Mathematics (2227-7390), 13(1), 96. https://doi.org/10.3390/math13010096

Chicago

Escobar, Diego, and Jesus Insuasti. 2025. “Formal Verification of Multi-Thread Minimax Behavior Using MCRL2 in the Connect 4.” Mathematics (2227-7390) 13 (1): 96. doi:10.3390/math13010096.