Showing 1 - 2 results of 2 for search 'Jesus Insuasti', query time: 0.01s
Refine Results
-
1
Formal Verification of Multi-Thread Minimax Behavior Using mCRL2 in the Connect 4 by Diego Escobar, Jesus Insuasti
Published 2024-12-01Get full text
Article -
2