达纳州安格鲁因;达纳·菲斯曼;雅拉·绍瓦尔 \（\omega \）-自动机的多项式标识。 （英语） Zbl 1483.68153号 Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12079, 325-343 (2020).MSC公司：65年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{D.Angluin}等人，Lect。注释计算。科学。12079225-343（2020年；兹比尔1483.68153） 全文： 内政部 OA许可证
达纳·菲斯曼;奥尔纳·库普弗曼;尤德·卢斯蒂格 验证分布式协议的容错性。 （英语） Zbl 1134.68317号 Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008，是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。计算机科学课堂讲稿4963，315-331（2008）。MSC公司：68米14 68个M12 68米15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}等人，Lect。注释计算。科学。4963、315--331（2008年；Zbl 1134.68317） 全文： 内政部