伊贡博格尔 地面模型的构建和分析及其改进,作为验证基于计算机的系统的基础。 (英语) Zbl 1123.68036号 正式Asp。计算。 第225-241号第19页(2007年).MSC公司:2005年第68季度 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger},正式Asp。计算。19,第225-241号(2007年;兹bl 1123.68036) 全文: 内政部
鲁兹别·法拉博德;文森佐·格瓦西;乌韦·格拉塞尔 CoreASM:一个可扩展的ASM执行引擎。 (英语) Zbl 1118.68544号 芬丹。通知。 77,编号1-2,71-103(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Farahbod}等人,Fundam。通知。77,编号1--2,71-103(2007;Zbl 1118.68544)
安特耶·诺瓦克 抽象状态机的保护片段。 (英语) Zbl 1080.03013号 J.逻辑语言信息。 14,第3期,345-368(2005).MSC公司:03B70号 2005年第68季度 03B25号 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{A.Nowack},《逻辑语言汇编》第14卷,第3期,第345-368页(2005年;Zbl 1080.03013) 全文: 内政部