比斯卡亚,M。;亨利克斯,D。;马特乌斯,P。 近似Skolem问题的可判定性及其在马尔可夫链动态特性逻辑验证中的应用。 (英语) Zbl 1354.68168号 ACM事务处理。计算。日志。 16,第1号,第4条,第17页(2015年).MSC公司:60年第68季度 03年2月25日 03B44号 2005年11月 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Biscaia}等人,《美国医学杂志》。计算。日志。16,第1号,第4条,第17页(2015;Zbl 1354.68168) 全文: 内政部
Joost-Pieter卡托恩;丹尼尔·克林克;马丁·勒克;维雷娜·沃尔夫 概率系统的三值抽象。 (英语) Zbl 1277.68219号 J.日志。阿尔盖布。程序。 81,第4期,356-389(2012).MSC公司:87年第68季度 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Katoen}等人,J.Log。阿尔盖布。程序。81,第4号,356--389(2012;Zbl 1277.68219) 全文: 内政部