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.
Jane’s notification:
Dear Ji Ruan
I’m writing about the revised version of your submission to the Agents Corner of the Journal of Logic and Computation, ‘Verification of Games in the Game Description Language’, JLC 08-37.
Both referees have approved the revised version and, therefore, the editors have accepted the paper for publication.
Please will you send me the final files – I will need source file(s) and corresponding pdf, which OUP will prepare for publication.
Sincerely
Jane Spurr–
Department of Computer Science, tel: + (0)20 7848 2987
King’s College, Strand, fax: + (0)20 7240 1071
London WC2R 2LS.
No related posts.
Related posts brought to you by Yet Another Related Posts Plugin.
1 Comment
You must be logged in to post a comment.

[...] 2009 Update: This paper has been accepted by the [...]