彼得·奇尼;罗兰·梅耶;普拉卡什·塞瓦桑 广播网络的活力。 (英语) Zbl 1506.68008号 计算 104,第10号,2203-2223(2022).MSC公司:68M10个 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Chini}等人,《计算104》,第10203-2223号(2022;Zbl 1506.68008) 全文: 内政部 arXiv公司
司元杰;孙骏;刘,杨;董金松;庞、军;张绍杰;杨晓虎 使用PAT进行公平假设的模型检查。 (英语) Zbl 1425.68269号 前面。计算。科学。 8,第1期,第1-16页(2014年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Si}等人,前。计算。科学。8,第1号,1--16(2014;Zbl 1425.68269) 全文: 内政部 链接
伊塔·巴拉班;阿米尔·普努利;Lenore D.扎克。 证明被反驳:符号模型检查器作为证明生成器。 (英语) Zbl 1274.68174号 Dennis Dams(编辑)等人,《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林:施普林格出版社(ISBN 978-3-642-11511-0/pbk)。计算机科学课堂讲稿5930,221-236(2010)。MSC公司:60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{I.Balaban}等人,Lect。注释计算。科学。5930、221--236(2010年;Zbl 1274.68174) 全文: 内政部