戴维·巴恩斯;费利克斯·克莱特克;塞缪尔·米勒;尤根·兹利内斯库 监控度量一阶时间属性。 (英语) Zbl 1333.68177号 美国临床医学杂志 62,第2号,第15条,45页(2015年).MSC公司:60年第68季度 03B44号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,J.ACM 62,No.2,Article No.15,45 p.(2015;Zbl 1333.68177) 全文: 内政部
戴维·巴恩斯;费利克斯·克莱特克;斯尔詹·马里诺维奇;尤根·兹利内斯库 使用聚合监控时间一阶属性。 (英语) Zbl 1323.68362号 形式方法系统。设计。 46,第3期,262-285(2015).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,《形式方法系统》。设计。46,第3号,262--285(2015;Zbl 1323.68362) 全文: 内政部 链接
拜伦·库克;埃里克·科斯金;摩什·瓦尔迪 作为程序分析任务的时间属性验证。 (英语) Zbl 1284.68171号 形式方法系统。设计。 41,第1期,66-82(2012).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人,《形式方法系统》。设计。41,第1号,66--82(2012;Zbl 1284.68171) 全文: 内政部 链接
拜伦·库克;埃里克·科斯金 用决策谓词做预言。 (英语) Zbl 1284.68389号 2011年1月26日至28日,美国德克萨斯州奥斯汀,POPL'11,第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0490-0)。399-410 (2011).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}和\textit{E.Koskinen},in:第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL'11,美国德克萨斯州奥斯汀,2011年1月26日至28日。纽约州纽约市:计算机协会(ACM)。399-410(2011年;Zbl 1284.68389) 全文: 内政部