吕迪格·埃勒斯 符号有界合成。 (英语) Zbl 1247.68163号 形式方法系统。设计。 40,编号232-262(2012).理学硕士:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers},形式方法系统。设计。40,第2号,232--262(2012;Zbl 1247.68163) 全文: DOI程序
克里斯蒂安·达克斯;费利克斯·克莱特克;马丁·兰格 关于常规时间逻辑与过去。 (英语) 兹比尔1214.68211 学报信息。 第4期第47页,第251-277页(2010年).理学硕士:60年第68季度 03B44号 05年3月 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dax}等人,《学报》第47期,第4期,第251--277页(2010年;Zbl 1214.68211) 全文: DOI程序 链接