Posts Tagged ‘JLC’
02
Jul
My joint paper with Wiebe and Mike with title “Verification of Games in the Game Description Language”, has been accepted by the Journal of Logic and Computation. This is my second journal paper. Here is the preview version (final draft). The first version was submitted on 8th August, 2008.
