筑谷由纪夫（Tatsuhiro Tsuchiya）；安德烈·希珀 使用可满足性求解验证一致性算法。 （英语） 兹比尔1231.68164 分布计算。 23，编号5-6，341-358（2011）.MSC公司：60年第68季度 64岁以下 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{T.Tsuchiya}和\textit{A.Schiper}，分布式计算。23、编号5--6、341--358（2011；Zbl 1231.68164） 全文： 内政部 链接
筑谷由纪夫（Tatsuhiro Tsuchiya）；安德烈·希珀 使用有界模型检查来验证一致性算法。 （英语） Zbl 1161.68586号 Taubenfeld，Gadi（编辑），分布式计算。第22届国际研讨会，DISC 2008，法国阿卡松，2008年9月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87778-3/pbk）。计算机科学课堂讲稿5218，466-480（2008）。MSC公司：60年第68季度 64岁以下 68宽15 PDF格式BibTeX公司 XML格式引用 \textit｛T.Tsuchiya｝和\textit｛A.Schiper｝，Lect。票据计算。科学。5218，466--480（2008；Zbl 1161.68586） 全文： 内政部 链接