戴维·巴恩斯;德国卡隆尼;萨拉·埃雷思;马图什·哈文;费利克斯·克莱特克;海科·曼特尔 临时规范的可扩展离线监控。 (英语) Zbl 1380.68268号 表格方法系统。设计。 49,编号1-2,75-108(2016).MSC公司:60年第68季度 03B70号 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,《形式方法系统》。设计。49,编号1--2,75-108(2016;Zbl 1380.68268) 全文: 内政部
戴维·巴恩斯;费利克斯·克莱特克;斯尔詹·马里诺维奇;尤根·兹利内斯库 使用聚合监控时间一阶属性。 (英语) Zbl 1323.68362号 表格方法系统。设计。 46,第3期,262-285(2015).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,Form.Methods Syst。设计。46,第3号,262--285(2015;Zbl 1323.68362) 全文: 内政部 链接
约琴·艾辛格;费利克斯·克莱特克 不要把应用程序中的单词放在基于自动机的方法中进行真正的加法。 (英语) 兹比尔1165.68393 表格方法系统。设计。 33,编号1-3,85-115(2008).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Eisinger}和\textit{F.Klaedtke},《形式方法系统》。设计。33,编号1--3,85-115(2008;Zbl 1165.68393) 全文: 内政部 链接