科尔·维克;肯尼思·麦克米兰。 为符号模型检查综合历史和预测变量。 （英语） Zbl 1529.68166号 Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 320-340 (2023).MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Vick}和\textit{K.L.McMillan}，莱克特。注释计算。科学。13881320-340（2023年；Zbl 1529.68166） 全文： 内政部
奥德·帕顿;Jochen Hoenicke公司;肯尼思·麦克米兰。;安德烈亚斯·波德尔斯基;穆利·萨吉夫;沙龙·肖姆 证明无限状态系统时间特性的时间预言。 （英语） 兹比尔1522.68340 形式方法系统。设计。 57，编号2，246-269（2021）.MSC公司：第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{O.Padon}等人，《形式方法系统》。设计。57，编号2，246--269（2021；Zbl 1522.68340） 全文： 内政部 arXiv公司
尼古拉·比约纳;阿里·古芬克尔;肯·麦克米兰;安德烈·里巴尔琴科 用于程序验证的Horn子句求解器。 （英语） Zbl 1465.68044号 Beklemishev，Lev D.（编辑）等人，《逻辑与计算领域II》。在尤里·古雷维奇75岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9300, 24-51 (2015).MSC公司：68号30 03B70号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Björner}等人，Lect。注释计算。科学。9300，24-51（2015；Zbl 1465.68044） 全文： 内政部
肯尼思·麦克米兰。;Lenore D.扎克。 非析取抽象的抽象反例。 （英语） 兹比尔1260.68234 Bournez，Olivier（编辑）等人，《可达性问题》。2009年9月23日至25日，法国帕莱索，RP 2009第三届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04419-9/pbk）。计算机科学课堂讲稿5797176-188（2009）。MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.L.McMillan}和\textit{L.D.Zuck}，莱克特。注释计算。科学。5797176-188（2009年；Zbl 1260.68234） 全文： 内政部
方，易;肯尼思·麦克米兰。;阿米尔·普努利;Lenore D.扎克。 无形不变量的活力。 （英语） Zbl 1225.68114号 Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿4229356-371（2006）。MSC公司：第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Fang}等人，Lect。注释计算。科学。4229356--371（2006；Zbl 1225.68114） 全文： 内政部
拉杰夫·阿鲁尔;肯·麦克米兰;多龙·贝利德 决定全局偏序属性。 （英语） Zbl 1075.68050号 形式方法系统。设计。 26，第1期，7-25（2005）.MSC公司：第68季度第60季度 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，《形式方法系统》。设计。26，第1号，第7--25号（2005；Zbl 1075.68050） 全文： 内政部 链接