科什卡,米兰;克里斯蒂安·亨塞尔;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 概率系统的反例引导归纳综合。 (英语) Zbl 1519.68055号 正式Asp。计算。 33,编号4-5,637-667(2021).MSC公司:68号30 60J20型 60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{M.采什卡}等人,《正式Asp》。计算。33,编号4--5,637--667(2021;Zbl 1519.68055) 全文: 内政部
尼古拉·贝内什;简·Křetínsk;Larsen,Kim G。;米凯尔·H·默勒。;所罗门·西克特;吉·斯尔巴 参数模态转换系统的精化检查。 (英语) Zbl 1309.68130号 Acta信息。 52,编号2-3,269-297(2015).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,Acta Inf.52,No.2--3,269--297(2015;Zbl 1309.68130) 全文: 内政部 链接
乌里法伦伯格;Legay、Axel 模态转换系统的一般定量规范理论。 (英语) Zbl 1360.68585号 Acta信息。 51,第5期,261-295(2014).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}和\textit{A.Legay},《信息学报》51,第5期,261--295(2014;Zbl 1360.68585) 全文: 内政部 哈尔