Articles by W van der Hoek (1)

Verification of Games in the Game Description Language

J Ruan, W van der Hoek and M. Wooldridge

Journal of Logic and Computation 19 ( 6 ): 1127 - 1156 , 2009

Do you have a suggestion for journals

Suggest Journal