斯特凡·布隆;伯特·利瑟;雅各布·范德波尔;迈克尔·韦伯 分布式状态空间生成的数据库方法。 (英语) Zbl 1213.68364号 J.日志。计算。 21,第1期,45-62(2011).MSC公司:60年第68季度 68第05页 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{S.Blom}等人,J.Log。计算。21,第1号,45-62(2011;Zbl 1213.68364) 全文: 内政部 链接
斯特凡·布隆;伯特·利瑟;雅各布·范德波尔;迈克尔·韦伯 分布式状态空间生成的数据库方法。 (英语) 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;兹bl 1277.68161) 全文: 内政部