安吉洛·蒙塔纳里（编辑）;马格丽塔·那不勒斯（编辑）;帕伦特，米姆（编辑） 特刊：游戏、自动化、逻辑和形式验证（GandALF 2010）。根据2010年6月17日至18日在意大利米诺里举行的第一届研讨会上的陈述，选出了一些论文。 （英语） 兹比尔1250.68042 发现的国际期刊。计算。科学。23，第3期，555-711（2012）。 MSC公司：68-06 91-06 03-06 00B25型 60年第68季度 65年第68季度 91A05型 91A43型 91A24型 第91页第15页 03B80号 03B44号 03B45号 05年3月 PDF格式BibTeX公司 XML格式
安吉洛·蒙塔纳里（编辑）;那不勒斯，玛格丽塔（编辑）;帕伦特，米姆（编辑） 2010年6月17日至18日，意大利阿马尔菲海岸（Amalfi Coast）的Minori举行了第一次关于游戏、自动机、逻辑和形式验证的研讨会。诉讼程序。 （英语） Zbl 1392.68028号 理论计算机科学电子论文集（EPTCS）25.滑铁卢：开放出版协会（OPA）。230页。，开放存取（2010）。MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}（编辑）等人，第一届游戏、自动机、逻辑和形式验证研讨会，意大利米诺里（阿马尔菲海岸），2010年6月17-18日。诉讼程序。滑铁卢：开放出版协会（OPA）（2010；Zbl 1392.68028） 全文： 内政部 链接