马塞尔·奥利维拉;泽达,弗兰克;安娜·卡瓦尔坎蒂 一种用于细化状态丰富并发规范的策略语言。 (英语) Zbl 1218.68101号 科学。计算。程序。 76,第9期,792-833(2011).MSC公司:60年第68季度 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Oliveira}等人,科学。计算。程序。76,第9号,792--833(2011;Zbl 1218.68101) 全文: 内政部
史蒂夫·里夫斯;大卫·斯特雷德 语境、精炼和决定论。 (英语) Zbl 1219.68091号 科学。计算。程序。 76,第9期,774-791(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Reeves}和\textit{D.Streader},科学。计算。程序。76,第9号,774--791(2011;Zbl 1219.68091) 全文: 内政部 链接
舍尔霍恩,格哈德 公平ASM改进的完整性。 (英语) Zbl 1217.68065号 科学。计算。程序。 76,编号9,756-7 73(2011).MSC公司:68号30 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Schellhorn},科学。计算。程序。76,第9号,756--773(2011;Zbl 1217.68065) 全文: 内政部
维姆·赫塞林克。 用于并发验证的模拟优化。 (英语) Zbl 1220.68069号 科学。计算。程序。 76,第9期,739-755(2011).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},科学。计算。程序。76,第9号,739--755(2011;Zbl 1220.68069) 全文: 内政部 链接
埃尔克·博伊滕(编辑);约翰·德里克(编辑);舍尔霍恩,格哈德(编辑) 特刊:2008年精炼研讨会。根据2008年5月27日在芬兰图尔库举行的第13次研讨会上的发言,选出了一些论文。 (英语) Zbl 1218.68007号 科学。计算。程序。76,第9期,737-833(2011)。 MSC公司:68-06 00B25型 68甲19 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式