约翰·德里克;海克·卫尔海姆 关于使用数据抽象进行模型检查精化。 (英语) Zbl 1111.68077号 学报信息。 44,第1期,41-71(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{H.Wehrheim},《学报》第44期,第1期,第41-71页(2007年;Zbl 1111.68077) 全文: 内政部
戴、天神;柳·道赫 亚式期权的精确次指数时间格算法。 (英语) Zbl 1136.91425号 学报信息。 44,第1期,23-39(2007).MSC公司:91B28型 PDF格式BibTeX公司 XML格式引用 \textit{T.-S.Dai}和\textit{Y.-D.Lyuu},《学报》第44卷第1期,第23-39页(2007年;Zbl 1136.91425) 全文: 内政部 链接
拉迪斯拉夫·瓦格纳;博伊沃伊·梅利查 并行\(LL\)分析。 (英语) Zbl 1111.68049号 学报信息。 44,第1期,1-21期(2007年).MSC公司:2012年第68季度 65年第68季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{L.Vagner}和\textit{B.Melichar},《信息学报》第44卷第1期,第1--21页(2007年;Zbl 1111.68049) 全文: 内政部