米纳·马哈扬;拉加万·拉玛;维贾亚库马尔,S。 块排序:一个特征和一些启发。 (英语) Zbl 1169.68384号 Nord.J.计算。 14,编号1-2,126-150(2007).MSC公司:68页第10页 65年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{M.Mahajan}等人,《北J.计算》。14,编号1--2,126-150(2007;Zbl 1169.68384)
安纳特·布雷姆勒·巴尔;利亚·爱泼斯坦 树状网络上的路径布局:不同标签交换模型中的边界。 (英语) Zbl 1168.68442号 Nord.J.计算。 14,编号1-2,109-125(2007).MSC公司:68兰特 68M10个 68平方米 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{A.Bremler Barr}和\textit{L.Epstein},Nord.J.Comput。14,编号1--2,109-125(2007;Zbl 1168.68442)
Heggenes,皮纳尔;迪特尔·克拉奇 线性时间证明识别算法和禁止的诱导子图。 (英语) Zbl 1169.68653号 Nord.J.计算。 14,编号1-2,87-108(2007).MSC公司:68周05 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.Heggenes}和\textit{D.Kratsch},Nord.J.Compute。14,编号1--2,87-108(2007;Zbl 1169.68653)
伙计,卡洛克 用定时Chi对硬件系统进行形式化描述和分析。 (英语) Zbl 1169.68512号 Nord.J.计算。 14,编号1-2,65-86(2007).MSC公司:60年第68季度 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.L.Man},Nord.J.计算。14,编号1--2,65-86(2007;Zbl 1169.68512)
林维特斯·S·W。 关于UML活动图的推理形式。 (英语) Zbl 1169.68511号 Nord.J.计算。 14,编号1-2,43-64(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.S.W.Lam},Nord.J.计算。14,编号1--2,43-64(2007;Zbl 1169.68511)
帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;普里塔·马哈塔;阿莱塔·奈伦 使用前向可达性分析验证定时Petri网。 (英语) Zbl 1168.68434号 Nord.J.计算。 14,编号1-2,1-42(2007).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Nord.J.Compute。14,编号1--2,1--42(2007;Zbl 1168.68434)