维罗尼克·科尔蒂尔;斯特凡尼德劳恩 安全协议中两个知识概念的可决定性和组合结果。 (英语) Zbl 1242.68099号 J.汽车。推理 48,第4期,441-487(2012).MSC公司:68第25页 03B70号 68个M12 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Cortier}和\textit{S.Delaune},J.Autom。推理48,No.4,441--487(2012;Zbl 1242.68099) 全文: 内政部
贾尼契奇,普雷德拉格;朱利安·纳布克斯;佩德罗·夸雷斯马 面积法。重述。 (英语) Zbl 1242.68281号 J.汽车。推理 48,第4期,489-532(2012).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Janić}等人,J.Autom。推理48,No.4,489--532(2012;Zbl 1242.68281) 全文: 内政部
弗里克·韦贝克;朱利安·施马耳茨 证明珠:Dally和Seitz对互连网络中无死锁路由的充分必要条件的正式证明。 (英语) Zbl 1242.68284号 J.汽车。推理 48,第4期,419-439(2012).MSC公司:68吨15 68M10个 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{F.Verbeek}和\textit{J.Schmaltz},J.Autom。推理48,No.4,419--439(2012;Zbl 1242.68284) 全文: 内政部