库库贝蒂斯，C。；瓦尔迪，M。；P.沃尔珀。；亚纳卡基斯，M。 用于验证时间属性的内存高效算法。 （英语） Zbl 0765.68120号 计算机辅助验证程序。第二届国际会议，CAV’90，新不伦瑞克/新泽西州（美国），Lect。票据计算。科学。531, 233-242 (1991).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Courcoubetis}等人，Lect。票据计算。科学。531233-242（1991年；Zbl 0765.68120）
库库贝蒂斯，C。；瓦尔迪，M。；P.沃尔珀。；亚纳卡基斯，M。 用于验证时间属性的内存高效算法。 （英语） Zbl 0786.68060号 90年计算机辅助验证。第二届DIMACS研讨会，新泽西州新不伦瑞克，1990年，DIMACS，Ser。谨慎。数学。西奥。计算。科学。3, 207-218 (1991).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Courcoubetis}等人，in：计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会。207--218（1991年；Zbl 0786.68060）