斯特凡·布隆;伯特·利瑟;雅各布·范德波尔;迈克尔·韦伯 一种分布式状态空间生成的数据库方法。 (英语) 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) 全文: 内政部
斯特凡·布隆;雅各布·范德波尔 具有递归数据类型的过程代数的符号可达性。 (英语) 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) 全文: 内政部 链接
斯特凡·布隆;西蒙娜·奥尔赞 状态空间的分布式分支互模拟约简。 (英语) Zbl 1271.68133号 Sokolsky,Oleg(编辑)等人,PDMC 2003。2003年7月14日,美国科罗拉多州博尔德市,第二届并行和分布式模型检验国际研讨会(CAV’03卫星研讨会)会议记录。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》89,第1期,99-113(2003)。MSC公司:60年第68季度 68问题85 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{S.Blom}和\textit{S.Orzan},电子。注释Theor。计算。科学。89,第1号,99-113(2003;Zbl 1271.68133) 全文: 链接