格里高·罗什乌 有限迹线性时序逻辑:共导完备性。 (英语) Zbl 1394.68237号 形式方法系统。设计。 53,第1期,138-163(2018).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu},《形式与方法系统》。设计。53,第1号,138--163(2018;Zbl 1394.68237) 全文: 内政部
斯特凡·雅克西奇;埃齐奥·巴托西;拉杜·格罗苏;阮,Thang;德扬·尼契科维奇 利用编辑距离定量监测STL。 (英语) 兹比尔1394.68230 形式方法系统。设计。 53,编号1,83-112(2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jakšić}等人,《形式方法系统》。设计。53,第1号,83-112(2018;Zbl 1394.68230) 全文: 内政部
石景浩;Shuvendu K.拉希里。;兰维尔,钱德拉;杰弗里·查伦 不确定性下的无线协议验证。 (英语) Zbl 1394.68027号 形式方法系统。设计。 53,第1号,33-53(2018).MSC公司:68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Shi}等人,《形式方法系统》。设计。53,第1号,33-53(2018;Zbl 1394.68027) 全文: 内政部
让·古鲍特·拉雷克;Jean-Philippe Lachance 关于Orchids签名监测的复杂性,以及递归方程。 (英语) Zbl 1394.68180号 形式方法系统。设计。 53,第1号,6-32(2018).MSC公司:65年第68季度 2016年1月5日 68卢比 60年第68季度 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{J.Goubault-Larrecq}和\textit{J.-P.Lachance},形式方法系统。设计。53,第1号,第6--32号(2018;Zbl 1394.68180) 全文: 内政部 哈尔
伊利耶斯·法尔科内(编辑);塞萨尔·桑切斯(编辑) 介绍运行时验证的特殊问题。 (英语) Zbl 1394.68005号 形式方法系统。设计。 53,编号1,1-5(2018).MSC公司:68-06 60年第68季度 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{Y.Falcone}(编辑)和\textit{C.Sánchez}(主编),《形式方法系统》。设计。53,编号1,1--5(2018;Zbl 1394.68005) 全文: 内政部