A faster Tableau for CTL
A faster Tableau for CTL
复制标题
更快的 CTL Tableau
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
T. Villa
中科院分区：
文献类型：
--
作者：
Gabriele Puppis;T. Villa
第四届国际游戏、自动机、逻辑和形式验证研讨会（Gandalf 2013）的会议记录。研讨会于2013年8月29日至31日在意大利的Borca di Cadore举行。
专题讨论会的会议记录载有三次应邀演讲的摘要和17篇论文，这些论文是经过仔细评估后被接受在会议上发表的。被接受的论文的主题范围很广，包括算法和行为博弈论，博弈语义，形式语言和自动机理论，模态和时序逻辑，软件验证，混合系统。
This volume contains the proceedings of the Fourth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2013). The symposium took place in Borca di Cadore, Italy, from 29th to 31st of August 2013.
The proceedings of the symposium contain the abstracts of three invited talks and 17 papers that were accepted after a careful evaluation for presentation at the conference. The topics of the accepted papers range over a wide spectrum, including algorithmic and behavioral game theory, game semantics, formal languages and automata theory, modal and temporal logics, software verification, hybrid systems.
DOI：
10.1007/978-3-642-14203-1_28
发表时间：
2010-07
期刊：
--
影响因子：
--
作者：
Oliver Friedmann;Markus Latte;M. Lange
通讯作者：
Oliver Friedmann;Markus Latte;M. Lange