安吉洛·蒙塔纳里(编辑);马格丽塔·那不勒斯(编辑);帕伦特,米姆(编辑) 特刊:游戏、自动机、逻辑和形式验证(GandALF 2010)。根据2010年6月17日至18日在意大利米诺里举行的第一届研讨会上的陈述,选出了一些论文。 (英文) Zbl 1250.68042号 发现的国际期刊。计算。科学。23,第3期,555-711(2012)。 MSC公司:68-06 91-06 03-06 00B25型 60年第68季度 65年第68季度 91A05型 91年43月 91A24型 91A15型 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) 全文: 内政部 链接