Special Issue: Games in Verification

作者:

Highlights:

摘要

论文关键词:

论文评审过程:Received 11 October 2010, Available online 13 May 2011.

论文官网地址:https://doi.org/10.1016/j.jcss.2011.05.007