丹尼·多列夫;凯乔·赫尔扬科;马蒂·Järvisalo;Janne H.Korhonen。;克里斯托夫·伦岑;乔尔·里比奇;朱卡·索米拉;Siert Wieringa公司 同步计数和计算算法设计。 （英语） Zbl 1346.68038号 J.计算。系统。科学。 82，第2期，310-332（2016）.MSC公司：64岁以下 68M10个 65年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{D.Dolev}等人，《计算杂志》。系统。科学。82，No.2，310--332（2016；Zbl 1346.68038） 全文： 内政部
皮耶乔治·贝尔托利;马可·波扎诺;亚历山德罗·西马蒂 用于安全分析、诊断和综合的符号模型检查框架。 （英语） Zbl 1196.68127号 Edelkamp，Stefan（编辑）等人，《模型检查和人工智能》。第四次研讨会，MoChArt IV，Riva del Garda，意大利，2006年8月29日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-540-74127-5/pbk）。计算机科学讲义4428。人工智能课堂讲稿，1-18（2007）。MSC公司：60年第68季度 68T20型 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{P.Bertoli}等人，Lect。注释计算。科学。4428，1-18（2007；Zbl 1196.68127） 全文： 内政部