Verification of Games in the Game Description Language

Ji on 2008-8-8,17:57 Comments (1) 2,334 views

August 2009 Update: Final version is available here. July 2009 Update: This paper has been accepted by the JLC. March 2009 Update: The Journal of Logic and Computation (JLC) has sent us back the reviews, and we need a revision before it gets accepted.