高,H。;J.F.格罗特。;西赫塞林克。 通过标记和扫描实现无锁并行和并发垃圾收集。 (英语) 兹比尔1178.68528 科学。计算。程序。 64,第3期,341-374(2007).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Gao}等人,科学。计算。程序。64,第3号,341--374(2007;Zbl 1178.68528) 全文: 内政部 链接
J.F.格罗特。;威廉姆斯,T.A.C。 使用数据对过程进行模型检查。 (英语) Zbl 1082.68067号 科学。计算。程序。 56,第3期,251-273(2005).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{T.A.C.Willemse},科学。计算。程序。56,第3号,251--273(2005;Zbl 1082.68067) 全文: 内政部 链接
Jan Friso,格鲁特;乔斯·范瓦梅尔 定时(mu CRL)中三个混合系统的分析。 (英语) Zbl 0971.68113号 科学。计算。程序。 39,编号2-3,215-247(2001).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{J.van Wamel},科学。计算。程序。39,编号2--3,215--247(2001;Zbl 0971.68113) 全文: 内政部