维姆·赫塞林克。 用于并发验证的模拟优化。 (英语) 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) 全文: 内政部 链接
维姆·赫塞林克。 使用永恒变量来指定和证明可序列化的数据库接口。 (英语) 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) 全文: 内政部 链接