纳哈尔·米尔扎伊;Faghih、Fathiyeh;瑞典雅各布斯;博尔祖·博纳克达尔普尔 对称网络中自稳定协议的参数化综合。 （英语） Zbl 1435.68201号 学报信息。 57，编号1-2，271-304（2020）.MSC公司：60年第68季度 68M10个 68个M12 64岁以下 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{N.Mirzaie}等人，《学报》第57期，第1--2271--304号（2020年；Zbl 1435.68201） 全文： 内政部
奥黛·朱伯伦;艾克·莫尔曼;奥利弗·泰尔 通过检查有限反例的缺失来验证自稳定中的递归性质。 （英语） Zbl 1428.68084号 Pelc，Andrzej（编辑）等人，《分布式系统的稳定性、安全性和安全性》。2015年8月18日至21日在加拿大阿联酋埃德蒙顿举行的第17届SSS国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9212, 124-138 (2015).MSC公司：68米15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Jubran}等人，Lect。注释计算。科学。9212、124--138（2015年；Zbl 1428.68084） 全文： 内政部