Jan Friso，格鲁特；Tim A.C.Willemse。 用于建立服务级别协议的对称协议。 （英语） Zbl 07269247号 日志。方法计算。科学。 16，第3号，第19号论文，第19页（2020年）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{T.A.C.Willemse}，Log。方法计算。科学。16，第3号，第19号论文，第19页（2020；Zbl 07269247） 全文： arXiv公司 链接
Jan Friso，格鲁特；大卫·詹森（David N.Jansen）。；Jeroen J.A.Keiren。；安东·威伊斯（Anton J.Wijs）。 一种计算断续等价和分支互模拟的（mathcal O（m\log n））算法。 （英语） Zbl 1367.68211号 ACM事务处理。计算。日志。 18，第2号，第13条，第34页（2017年）.MSC公司：68问题85 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}等人，ACM Trans。计算。日志。18，第2号，第13条，第34页（2017年；Zbl 1367.68211） 全文： 内政部
斯乔德·克兰恩；Jan Friso，格鲁特；米歇尔·雷尼尔斯 从CTL到一阶模态演算的线性转换。 （英语） Zbl 1216.68188号 西奥。计算。科学。 412，第28号，3129-3139（2011）.MSC公司：68问题85 03B44号 03B45 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Cranen}等人，Theor。计算。科学。412，编号28，3129-3139（2011年；兹bl 1216.68188） 全文： 内政部
斯坦珀斯，弗兰克·P·M。；米歇尔·雷尼尔斯（Michel A.Reniers）。；Jan Friso，格鲁特 mCRL2对并发系统设计的适用性：交换机案例研究。 （英语） Zbl 1312.68139号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17070-6/pbk）。计算机科学课堂讲稿6286166-185（2010）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.P.M.Stappers}等人，Lect。注释计算。科学。6286、166--185（2010年；Zbl 1312.68139） 全文： 内政部
Jan Friso，格鲁特；Tim A.C.Willemse。 参数化布尔方程系统。 （英语） Zbl 1077.68061号 西奥。计算。科学。 343，第3期，332-369（2005）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{T.A.C.Willemse}，Theor。计算。科学。343，第3号，332--369（2005；Zbl 1077.68061） 全文： 内政部 链接
J.F.格罗特。；J.庞。；沃特斯，A.G。 起重车分布式系统分析。 （英语） Zbl 1048.68055号 J.日志。阿尔盖布。程序。 55，第1-2、21-56号（2003年）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}等人，J.Log。阿尔盖布。程序。55，编号1--2，21-56（2003；Zbl 1048.68055） 全文： 内政部
Jan Friso，格鲁特 带有否定前提的过渡系统规范。 （英语） Zbl 0778.68057号 西奥。计算。科学。 118，第2期，263-299（1993）. 审核人：简·弗里索·格鲁特 MSC公司：第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}，西奥。计算。科学。118，第2号，263--299（1993；Zbl 0778.68057） 全文： 内政部 链接