威廉·斯坦加特纳;瓦莱丽·诺维茨卡;米歇拉·巴契科娃;什特凡·科雷奇科 过程语言范畴语义的新方法。 (英语) Zbl 1504.68032号 计算。通知。 36,第6期,1385-1414(2017).MSC公司:68甲15 18 C50 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{W.Steingartner}等人,《计算》。通知。36,第6号,1385--1414(2017;Zbl 1504.68032) 全文: 内政部
拉杜·奥西夫;亚当·罗加列维奇 基于自动机的终止证明。 (英语) Zbl 1413.68021号 计算。通知。 32,第4期,739-775(2013).MSC公司:68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Iosif}和\textit{A.Rogalewicz},计算。通知。32,第4号,739--775(2013;Zbl 1413.68021)
伙计,卡洛克 定时Chi:硬件系统的建模、仿真和验证。 (英语) 兹比尔1399.93171 计算。通知。 29,第6号,901-928(2010).MSC公司:93立方厘米83 93A30型 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.L.Man},计算。通知。29,第6号,901--928(2010;Zbl 1399.93171)
尼古拉斯·佩塔利迪斯 使用时间自动机验证现场总线调度协议。 (英语) Zbl 1399.68028号 计算。通知。 28,第5期,655-672(2009).MSC公司:68平方米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Petalidis},计算。通知。28,第5号,655--672(2009;Zbl 1399.68028)
托马斯·布拉兹迪尔;伊万娜·乔纳 RegCTL的模型检查。 (英语) Zbl 1139.68380号 计算。通知。 25,第1期,81-97(2006).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}和\textit{I.乔纳},计算。通知。25,第1号,81--97(2006;Zbl 1139.68380)
多米尼克·坎塞尔;多米尼克·梅里 B方法的基础。 (英语) Zbl 1104.68409号 计算。通知。 22,编号3-4,221-256(2003).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Cansell}和\textit{D.Méry},计算。通知。22,编号3--4,221--256(2003;Zbl 1104.68409)