迈克尔·J·C·戈登。 使用自动推理验证PSL/Sugar语义。 (英语) Zbl 1093.68603号 正式Asp。计算。 15,第4期,406-421(2003).MSC公司:60年第68季度 68问题55 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.J.C.Gordon},正式Asp。计算。15,第4号,406--421(2003;Zbl 1093.68603) 全文: 内政部
马丁·范策尔;尤尔根·尼豪斯;亚历山大·梅兹纳;达姆,沃纳 分布式执行Statemate的语义。 (英语) Zbl 1093.68599号 正式Asp。计算。 第4期第15页,第390-405页(2003年).MSC公司:68问题55 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人,正式Asp。计算。15,第4号,390--405(2003;Zbl 1093.68599) 全文: 内政部
维克托·博斯;Jeroen Kleijn 系统工程语言的重新设计:(chi)的形式化。 (英语) Zbl 1093.68597号 正式Asp。计算。 15,第4期,370-389(2003).MSC公司:68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Bos}和\textit{J.Kleijn},正式Asp。计算。15,第4号,370--389(2003;Zbl 1093.68597) 全文: 内政部
Jörn W.Janneck。 演员及其构成。 (英语) 兹比尔1093.68064 正式Asp。计算。 15,第4期,349-369(2003).MSC公司:68问题85 2005年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Janneck},正式Asp。计算。15,第4号,349--369(2003;Zbl 1093.68064) 全文: 内政部
卡尔·勒默;科林·菲奇。;伊恩·海耶斯。 执行时约束的线性近似。 (英语) Zbl 1093.68025号 正式Asp。计算。 15,第4期,319-348(2003).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.Lermer}等人,《形式语法》。计算。15,第4号,319--348(2003;Zbl 1093.68025) 全文: 内政部 链接
西蒙·盖伊;拉贾戈帕尔·纳加拉扬 数据流程序的内涵和外延语义。 (英语) Zbl 1093.68600号 正式Asp。计算。 15,第4期,299-318(2003).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Gay}和\textit{R.Nagarajan},正式Asp。计算。15,第4号,299--318(2003;Zbl 1093.68600) 全文: 内政部