奥德·帕顿;Jochen Hoenicke公司;肯尼思·麦克米兰。;安德烈亚斯·波德尔斯基;穆利·萨吉夫;沙龙·肖姆 证明无限状态系统时间特性的时间预言。 （英语） Zbl 1522.68340号 形式方法系统。设计。 57，编号2，246-269（2021）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{O.Padon}等人，《形式方法系统》。设计。57，编号2，246--269（2021；Zbl 1522.68340） 全文： 内政部 arXiv公司 OA许可证
肯尼思·麦克米兰。;Lenore D.扎克。 非析取抽象的抽象反例。 （英语） Zbl 1260.68234号 Bournez，Olivier（编辑）等人，《可达性问题》。2009年9月23日至25日，法国帕莱索，RP 2009第三届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04419-9/pbk）。计算机科学课堂讲稿5797176-188（2009）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.L.McMillan}和\textit{L.D.Zuck}，莱克特。票据计算。科学。5797176-188（2009年；Zbl 1260.68234） 全文： 内政部