库克,拜伦;埃里克·科斯基宁;瓦尔迪,摩西 作为程序分析任务的时间属性验证。 (英语) Zbl 1284.68171号 形式方法系统。设计。 41,第1期,66-82(2012)。MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人,《形式方法系统》。设计。41,第1号,66--82(2012;Zbl 1284.68171) 全文: 内政部 链接
库克,拜伦;贾斯敏·费希尔;克雷普斯卡,埃尔兹别塔;尼尔·皮特曼 证明生物系统的稳定性。 (英语) 2014年9月13日 Jhala,Ranjit(编辑)等人,《验证、模型检查和抽象解释》。2011年1月23日至25日,第12届国际会议,VMCAI 2011,美国德克萨斯州奥斯汀。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18274-7/pbk)。计算机科学课堂讲稿6538,134-149(2011)。MSC公司:92立方厘米 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人,Lect。票据计算。科学。6538,134--149(2011;Zbl 1318.92014) 全文: 内政部
库克,拜伦;丹尼尔·克罗宁;娜塔莎·莎莉吉娜 使用无限线程创建验证布尔程序。 (英语) Zbl 1143.68043号 西奥。计算。科学。 388,编号1-3,227-242(2007)。MSC公司:第68季度第60季度 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人,Theor。计算。科学。388,编号1--3,227--242(2007;Zbl 1143.68043) 全文: 内政部