雷娜·迪米特洛娃;鲁帕克·马朱姆达尔 序列平行图上可逆有界自动机的可达性分析。 (英语) Zbl 1390.68385号 学报信息。 55,第2期,153-189(2018).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Dimitrova}和\textit{R.Majumdar},《学报》第55期,第2期,第153--189页(2018年;Zbl 1390.68385) 全文: 内政部 arXiv公司
马丁·齐默尔曼 参数化线性时序逻辑满足成本:仍然不比LTL更昂贵。 (英语) Zbl 1390.68445号 学报信息。 55,第2期,129-152(2018).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Zimmermann},《学报》第55期,第2期,第129--152页(2018年;Zbl 1390.68445) 全文: 内政部 arXiv公司
帕特里夏·鲍耶;尼古拉斯·马基;米凯尔·兰多尔;拉森,金·G。;西蒙·劳尔森 平均能量游戏。 (英语) Zbl 1390.68115号 学报信息。 55,编号2,91-127(2018).MSC公司:68平方米 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《学报》第55期,第2期,第91-127页(2018年;Zbl 1390.68115) 全文: 内政部 哈尔
哈维尔·埃斯帕尔扎(编辑);恩里科·特隆西(编辑) 《甘道夫2015》特刊前言。 (英语) Zbl 1384.00106号 学报信息。 55,No.2,89-90(2018).MSC公司:00B25型 68-06 65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}(编辑)和\textit{E.Tronci}(主编),《学报》第55期,第2期,第89-90页(2018年;Zbl 1384.00106) 全文: 内政部