Kimmo Varpaaniemi公司 关于线性时间时间特性验证中的顽固集。 （英语） Zbl 1075.68060号 形式方法系统。设计。 26，第1期，45-67（2005）.MSC公司：68问题85 60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Varpaaniemi}，形式方法系统。设计。26，第1号，45-67（2005；Zbl 1075.68060） 全文： 内政部
Kimmo Varpaaniemi公司 简约状态空间生成中的顽固集方法。 （英语） Zbl 0928.68068号 赫尔辛基理工大学数字系统实验室。系列A：研究报告. 51. 赫尔辛基：HUT，赫尔辛基科技大学计算机科学与工程系，105页（1998年）。 审核人：Ketty Peeva（索菲亚） MSC公司：65年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{K.Varpaaniemi}，关于简化状态空间生成中的顽固集方法。赫尔辛基：赫尔辛基理工大学，赫尔辛基理工大学，计算机科学与工程系（1998；Zbl 0928.68068）