何希明;周若瑜;蒂莫西·琼斯。 时间超属性。 (英语) Zbl 1518.68207号 Inf.计算。 280,文章ID 104639,18 p.(2021).MSC公司:第68季度第60季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-M.Ho}等人,《信息计算》。280,文章ID 104639,18 p.(2021;Zbl 1518.68207) 全文: 内政部 链接
巴雷西,L。;M.M.贝尔萨尼。;F.马可尼。;G.夸特罗奇。;罗西,M。 使用形式验证评估Spark应用程序的执行时间。 (英语) Zbl 1451.68166号 正式Asp。计算。 32,第1号,33-70(2020年).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Baresi}等人,《正式Asp》。计算。32,第1号,33-70(2020;Zbl 1451.68166) 全文: 内政部 链接
贝拉德,贝特里奇;谢尔盖·哈达德;马修·萨索拉斯 中断时间自动机:验证和表达。 (英语) Zbl 1247.68124号 形式方法系统。设计。 40,第1期,41-87(2012).MSC公司:65年第68季度 第68季度第60季度 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,《形式方法系统》。设计。40、第1号、第41-87号(2012;Zbl 1247.68124) 全文: 内政部 arXiv公司