斯特凡·卡尔斯 无限重写:闭包操作符、等价物和模型。 (英语) 兹比尔1294.68098 学报信息。 50,第2期,123-156(2013). 审核人:马格努斯·斯坦比(图尔库) MSC公司:2012年第68季度 54E35个 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kahrs},Acta Inf.50,No.2,123--156(2013;Zbl 1294.68098) 全文: 内政部
尼古拉斯·哈尔巴赫斯;Fabienne Lagnier;克里斯托夫·拉特尔 通过模块化模型检查证明常规流程网络的经验。 (英语) Zbl 0790.68071号 学报信息。 29,编号6-7,523-543(1992). 审核人:N.Halbwachs(格勒诺布尔) MSC公司:60年第68季度 68M10个 94立方厘米 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{N.Halbwachs}等人,《学报》第29期,第6--7、523--543号(1992年;Zbl 0790.68071) 全文: 内政部