西蒙娜·奥尔赞;范德波尔(Jaco van de Pol) 简单共享数据空间体系结构的分发。 (英语) Zbl 1114.68036号 芬达姆。通知。 73,第4期,535-559(2006).MSC公司:68号30 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{S.Orzan}和\textit{J.van de Pol},Fundam。通知。73,第4号,535--559(2006;Zbl 1114.68036)
西蒙娜·奥尔赞;范德波尔(Jaco van de Pol);米盖尔·瓦莱罗·埃斯帕达 基于抽象解释的状态空间分配策略。 (英语) 兹比尔1272.68273 Brim,Luboš(ed.)等人,第三届平行和分布式验证方法国际研讨会论文集(PDMC 2004),英国伦敦,2004年9月4日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》128,第3期,35-45(2005)。MSC公司:第68季度第60季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{S.Orzan}等人,《电子》。注释Theor。计算。科学。128,第3号,35-45(2005;Zbl 1272.68273) 全文: 链接