维姆·赫塞林克。 用于并发验证的模拟优化。 (英语) 兹比尔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) 全文: 内政部 链接
维姆·赫塞林克。;亚历克斯·A·阿拉文。 线性有界超车的基于队列的互斥。 (英语) Zbl 1217.68137号 科学。计算。程序。 76,第7期,542-554(2011).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink}和\textit{A.A.Aravind},科学。计算。程序。76,第7号,542--554(2011;Zbl 1217.68137) 全文: 内政部
维姆·赫塞林克。 原子性验证的挑战。 (英语) Zbl 1141.68040号 科学。计算。程序。 71,第1号,57-72(2008).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},科学。计算。程序。71,编号1,57--72(2008;Zbl 1141.68040) 全文: 内政部 链接
高,H。;J.F.格罗特。;西赫塞林克。 通过标记和扫描实现无锁并行和并发垃圾收集。 (英语) Zbl 1178.68528号 科学。计算。程序。 64,第3期,341-374(2007).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Gao}等人,科学。计算。程序。64,第3号,341-374(2007年;兹bl 1178.68528) 全文: 内政部 链接
维姆·赫塞林克。 使用永恒变量来指定和证明可序列化的数据库接口。 (英语) Zbl 1091.68041号 科学。计算。程序。 51,编号1-2,47-85(2004).MSC公司:第68页,共15页 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},科学。计算。程序。51,编号1--2,47-85(2004;Zbl 1091.68041) 全文: 内政部 链接
维姆·赫塞林克。;阿诺德·梅杰斯特;科恩拉德·勃朗 同时确定连接的组件。 (英语) Zbl 0988.68225号 科学。计算。程序。 41,第2期,173-194(2002).MSC公司:68宽10 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink}等人,科学。计算。程序。41,第2号,173--194(2002;Zbl 0988.68225) 全文: 内政部
维姆·赫塞林克。 导出LR路径。 (英语) Zbl 0768.68086号 科学。计算。程序。 19,第2期,171-196(1992).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},科学。计算。程序。19,第2号,171--196(1992;Zbl 0768.68086) 全文: 内政部