王超;Sudipta昆都;利马耶·里希克什;马来加奈;阿尔蒂·古普塔 并发程序的符号预测分析。 (英语) Zbl 1242.68187号 正式Asp。计算。 23,第6号,781-805(2011).MSC公司:68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Wang}等人,正式Asp。计算。23,第6号,781--805(2011;Zbl 1242.68187) 全文: 内政部
A.K.McIver。;C.C.摩根。 基于代理的安全协议中的组合细化。 (英语) Zbl 1245.68065号 正式Asp。计算。 23,第6号,711-737(2011).MSC公司:68号30 94A60型 68个M12 03B70号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.K.McIver}和\textit{C.Morgan},正式Asp。计算。23,第6号,711--737(2011;Zbl 1245.68065) 全文: 内政部
马克·雷诺兹 基于表格的CTL决策程序\(^*\)。 (英语) 兹比尔1242.68302 正式Asp。计算。 23,第6号,739-779(2011).MSC公司:68T27型 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds},正式Asp。计算。23,第6号,739--779(2011;Zbl 1242.68302) 全文: 内政部
安娜·卡瓦尔坎蒂(编辑);亲爱的,丹尼斯(编辑);玛丽·克劳德·高德尔(编辑) 特别问题:正式方法。根据2009年11月2日至6日在荷兰埃因霍温举行的第16届正式方法国际研讨会(FM 2009)上的陈述,选择了一些论文。 (英语) Zbl 1243.68016号 正式Asp。计算。23号,第681-805号(2011年)。 MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式