Kimmo Varpaaniemi公司 关于线性时间时间特性验证中的顽固集。 (英语) Zbl 1075.68060号 形式方法系统。设计。 26,第1期,45-67(2005).MSC公司:68问题85 第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Varpaaniemi},形式方法系统。设计。26,第1号,45-67(2005;Zbl 1075.68060) 全文: 内政部
伊戈尔·瓦卢基维奇 配置困难–LTrL的复杂性。 (英语) Zbl 1075.68052号 形式方法系统。设计。 26,第1期,第27-43页(2005年).MSC公司:第68季度第60季度 03B44号 2015年3月1日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Walukiewicz},《形式与方法系统》。设计。26,第1号,27-43(2005;Zbl 1075.68052) 全文: 内政部
拉杰夫·阿鲁尔;肯·麦克米兰;多龙·贝利德 决定全局偏序属性。 (英语) 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) 全文: 内政部 链接