帕特里夏·鲍耶;尼古拉斯·马基;奥坎桑库尔 时间自动机和游戏中的鲁棒可达性:基于游戏的方法。 (英语) Zbl 1302.68153号 理论。计算。科学。 563, 43-74 (2015).MSC公司:65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Theor。计算。科学。563、43——74(2015;Zbl 1302.68153) 全文: 内政部
马丁·德·沃尔夫;劳伦特·多恩;尼古拉斯·马基;Jean-François拉斯金 时间自动机的鲁棒安全性。 (英语) Zbl 1165.68392号 表格方法系统。设计。 33,编号1-3,45-84(2008).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.De Wulf}等人,《形式方法系统》。设计。33,编号1-3,45-84(2008年;兹bl 1165.68392) 全文: 内政部 哈尔