斯特凡·布隆;伯特·利瑟;范德波尔(Jaco van de Pol);韦伯,迈克尔 分布式状态空间生成的数据库方法。 (英语) Zbl 1213.68364号 J.日志。计算。 21,第1期,45-62(2011).MSC公司:第68季度第60季度 68第05页 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{S.Blom}等人,J.Log。计算。21,第1号,45-62(2011;Zbl 1213.68364) 全文: 内政部 链接
布隆,斯特凡;Boudewijn R.哈维尔科特。;马蒂亚斯·昆茨;范德波尔(Jaco van de Pol) 针对CSL模型检验的分布式马尔可夫互模拟约简。 (英语) Zbl 1286.68306号 乔纳·伊瓦纳(编辑)等人,《第七届平行和分布式验证方法国际研讨会论文集》(PDMC 2008),匈牙利布达佩斯,2008年3月29日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》220,第2期,35-50(2008)。MSC公司:第68季度第60季度 第68季度85 87年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{S.Blom}等人,《电子》。注释Theor。计算。科学。220,编号2,35--50(2008;Zbl 1286.68306) 全文: 内政部
布隆,斯特凡;伯特·利瑟;范德波尔(Jaco van de Pol);迈克尔·韦伯 分布式状态空间生成的数据库方法。 (英语) Zbl 1277.68161号 乔纳·伊瓦纳(编辑)等人,《第六届平行和分布式验证方法国际研讨会论文集》(PDMC 2007),德国柏林,2007年7月8日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》198,第1期,17-32(2008)。MSC公司:第68季度85 第68页第15页 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{S.Blom}等人,《电子》。注释Theor。计算。科学。198,编号1,17-32(2008;Zbl 1277.68161) 全文: 内政部
斯特凡·布隆;范德波尔(Jaco van de Pol) 具有递归数据类型的过程代数的符号可达性。 (英语) Zbl 1161.68613号 Fitzgerald,John S.(编辑)等人,《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会,土耳其伊斯坦布尔,2008年9月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85761-7/pbk)。《计算机科学讲义》5160,81-95(2008)。MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{S.Blom}和\textit{J.van de Pol},莱克特。注释计算。科学。5160、81-95(2008年;Zbl 1161.68613) 全文: 内政部 链接
斯特凡·布隆;范德波尔(Jaco van de Pol) 通过证明合流来减少状态空间。 (英语) Zbl 1010.68527号 Brinksma,Ed(编辑)等人,《计算机辅助验证》。2002年7月27日至31日,丹麦哥本哈根,第14届国际会议,CAV 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。24041596-609(2002)中描述的。MSC公司:第68季度85 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Blom}和\textit{J.van de Pol},莱克特。注释计算。科学。2404596-609(2002年;Zbl 1010.68527)