本杰明·比斯平;大卫·詹森(David N.Jansen)。;乌韦·内斯特曼 一次性决定所有行为等效性:线性时间分支时间谱的游戏。 (英语) Zbl 07577583号 日志。方法计算。科学。 18,第3号,第19号论文,33页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bisping}等人,《日志》。方法计算。科学。18,第3号,第19号论文,33页(2022;Zbl 07577583) 全文: arXiv公司 链接
本杰明·比斯平;乌韦·内斯特曼 线性时间分支时间光谱的游戏。 (英语) Zbl 1467.68129号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12651, 3-19 (2021).MSC公司:68问题85 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bisping}和\textit{U.Nestmann},莱克特。注释计算。科学。12651,3-19(2021;Zbl 1467.68129) 全文: 内政部 arXiv公司