利奥尼达斯·齐奥普洛斯;瓦尔登,玛丽娜 B.NoC系统的正式开发。 (英语) Zbl 1122.68147号 Nord.J.计算。 13,编号1-2,127-145(2006).MSC公司:68单位07 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Tsiopoulos}和\textit{M.Waldén},Nord.J.Compute。13,编号1--2,127--145(2006;Zbl 1122.68147)
克里斯蒂安·斯托夫林 高阶beta与长beta-eta范式解的匹配。 (英语) Zbl 1122.03009号 Nord.J.计算。 13,编号1-2,117-126(2006).MSC公司:03B40型 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{K.Stövring},Nord.J.计算。13,编号1--2,117-126(2006;Zbl 1122.03009)
尼尔森,克里斯托弗·罗森基勒;尼尔森、汉内·里斯 盲板静态分析。 (英语) Zbl 1126.68410号 Nord.J.计算。 13,编号1-2,98-116(2006).MSC公司:68第25页 PDF格式BibTeX公司 XML格式引用 \textit{C.R.Nielsen}和\textit{H.R.Nielson},Nord.J.计算机。13,编号1--2,98-116(2006;Zbl 1126.68410)
莫妮卡·奈西;朱斯蒂娜·诺塞拉 通过重写来派生Otway Rees协议中的类型缺陷攻击。 (英语) Zbl 1122.68015号 Nord.J.计算。 13,编号1-2,78-97(2006).MSC公司:68个M12 94A60型 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Nesi}和\textit{G.Nocera},Nord.J.计算机。13,编号1--2,78-97(2006;Zbl 1122.68015)
Troels C.Damgaard。;拉尔斯·比克达尔 公理化绑定二元图。 (英语) Zbl 1119.68132号 Nord.J.计算。 13,编号1-2,58-77(2006). 审核人:克劳斯·多曼(Mittweida) MSC公司:68兰特 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.C.Damgaard}和\textit{L.Birkedal},Nord.J.Compute。13,编号1--2,58-77(2006;Zbl 1119.68132)
特里斯坦·克罗拉德;塞缪尔·拉卡斯;皮埃尔·瓦拉彻 关于循环语言的表达能力。 (英语) Zbl 1161.68378号 Nord.J.计算。 13,编号1-2,46-57(2006).MSC公司:68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{T.Crolard}等人,Nord.J.计算。13,编号1--2,46-57(2006;Zbl 1161.68378)
因戈Brückner;比约恩·梅茨勒;海克·卫尔海姆 通过演绎验证优化形式规范的切片。 (英语) Zbl 1114.68051号 Nord.J.计算。 13,编号1-2,22-45(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Brückner}等人,Nord.J.Compute。13,编号1--2,22-45(2006;Zbl 1114.68051)
马克西姆·博尔廷;艾纳尔·布罗赫·约翰森;克里斯托夫·吕斯 Isabelle结构化正式开发。 (英语) Zbl 1114.68063号 Nord.J.计算。 13,编号1-2,2-21(2006).MSC公司:68吨15 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bortin}等人,Nord.J.计算。13,编号1--2,2--21(2006;Zbl 1114.68063)