休伯特·加拉维；弗雷德里克·朗 40年后的等效性检查：互模拟工具综述。 （英语） Zbl 1524.68189号 Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 213-265 (2022).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}和\textit{F.Lang}，莱克特。注释计算。科学。13560213--265（2022年；Zbl 1524.68189） 全文： 内政部 哈尔
马克·蒂默；Joost-Pieter卡托恩；范德波尔（Jaco van de Pol）；玛丽·斯托琳加 马尔可夫自动机的汇流约简。 （英语） Zbl 1356.68136号 西奥。计算。科学。 655，B部分，193-219（2016）.MSC公司：65年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Timmer}等人，Theor。计算。科学。655，B部分，193-219（2016；兹bl 1356.68136） 全文： 内政部
亨利·汉森；马克·蒂默 概率分支时间和非概率分支时间中汇流集和样本集的比较。 （英语） Zbl 1359.68194号 西奥。计算。科学。 538, 103-123 (2014).MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Hansen}和\textit{M.Timmer}，Theor。计算。科学。538103-123（2014年；Zbl 1359.68194） 全文： 内政部
拉杜·马特埃斯库；安东·威伊斯 弱τ碰撞的连续和分布式实时计算。 （英语） 兹比尔1243.68219 科学。计算。程序。 77，编号10-11，1075-1094（2012）.MSC公司：68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Mateescu}和\textit{A.Wijs}，科学。计算。程序。77，No.10--111075--1094（2012；Zbl 1243.68219） 全文： 内政部 哈尔
Joost-Pieter卡托恩；范德波尔（Jaco van de Pol）；玛丽·斯托琳加；马克·蒂默 概率自动机数据的线性过程代数格式。 （英语） Zbl 1283.68246号 西奥。计算。科学。 413，第1期，36-57（2012）. 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：68问题85 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Katoen}等人，Theor。计算。科学。413，编号1，36-57（2012；Zbl 1283.68246） 全文： 内政部 链接
马克·蒂默；玛丽·斯托琳加；范德波尔（Jaco van de Pol） 概率系统的汇流减少。 （英语） Zbl 1316.68077号 Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605311-325（2011）。MSC公司：60年第68季度 65年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Timmer}等人，Lect。注释计算。科学。6605311--325（2011；Zbl 1316.68077） 全文： 内政部 arXiv公司
范德波尔（Jaco van de Pol）；马克·蒂默 利用控制流重构对线性过程进行状态空间约简。 （英语） Zbl 1262.68133号 刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799，54-68（2009）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.van de Pol}和\textit{M.Timmer}，莱克特。注释计算。科学。5799、54-68（2009年；Zbl 1262.68133） 全文： 内政部 链接
王旭；玛尔塔·奎亚特科夫斯卡 使用未纠缠动作的合成状态空间缩减。 （英语） Zbl 1277.68213号 Amadio，Roberto（编辑）等人，第13届并发表达性国际研讨会论文集（EXPRESS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第3期，27-46（2007）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{X.Wang}和\textit{M.Kwiatkowska}，电子。注释Theor。计算。科学。175，第3号，27-46（2007；Zbl 1277.68213） 全文： 内政部
Wan Fokkink公司；庞、军；范德波尔（Jaco van de Pol） 锥和焦点：协议验证的机械框架。 （英语） Zbl 1103.68652号 形式方法系统。设计。 29，第1期，1-31页（2006年）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}等人，《形式方法系统》。设计。29，第1号，1--31（2006；Zbl 1103.68652） 全文： 内政部
巴哈雷赫巴德班；范德波尔（Jaco van de Pol） 零、继任者和BDD中的平等。 （英语） Zbl 1064.03009号 Ann.纯粹应用。逻辑 133，编号1-3，101-123（2005）.MSC公司：03B20型 03B25号 03B35型 68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}和\textit{J.van de Pol}，Ann.Pure Appl。逻辑133，编号1--3，101-123（2005；Zbl 1064.03009） 全文： 内政部 链接