马克·蒂默;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;Zbl 1356.68136) 全文: 内政部
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) 全文: 内政部 链接
Jan A.Bergstra。;范德波尔(Jaco van de Pol) 四值序列逻辑的微积分。 (英语) Zbl 1227.03028号 西奥。计算。科学。 412,第28号,3122-3128(2011). 审核人:Albert Hoogewijs(根特) MSC公司:03B50号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.van de Pol},Theor。计算。科学。412,第28号,3122--3128(2011;Zbl 1227.03028) 全文: 内政部 链接
卢卡·埃特罗;陈、陶璐;安娜·英格尔夫斯多蒂;巴斯·卢提克;范德波尔(Jaco van de Pol) 关于优先权的公理化。二、。 (英语) Zbl 1216.68181号 西奥。计算。科学。 412,第28号,3035-3044(2011).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。412,第28号,3035--3044(2011;Zbl 1216.68181) 全文: 内政部
乔泽夫·胡曼;范德波尔(Jaco van de Pol) 定时分布式数据空间体系结构的语义模型。 (英语) 兹比尔1070.68084 西奥。计算。科学。 331,编号2-3,291-323(2005).MSC公司:第68季度55 60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{J.Hooman}和\textit{J.van de Pol},Theor。计算。科学。331,编号2--3,291--323(2005;Zbl 1070.68084) 全文: 内政部 链接
范德波尔(Jaco van de Pol) 使用优先级重写的操作语义。 (英语) Zbl 0917.68141号 西奥。计算。科学。 200,第1-2号,289-312(1998).MSC公司:第68季度55 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.van de Pol},Theor。计算。科学。200,编号1--2,289--312(1998;Zbl 0917.68141) 全文: 内政部