×

找到2个文档(结果1-2)

动态网络上的连接游戏。 (英语) Zbl 1460.91047号

D'Agostino,Giovanna(编辑)等人,第二届游戏、自动机、逻辑和形式验证国际研讨会,意大利Minori,2011年6月15日至17日。诉讼程序。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)54131-145(2011)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

筛选结果依据…

文档类型

出版年份