zbMATH参考文献（参考 4篇文章 参考）

1. Chevrou，Florent；Hurault，Aurélie；Quéinnec，Philippe:用于验证多功能分布式系统的模块化框架（2019）
2. Lazić，Marijana；Konnov，Igor；Widder，Josef；Bloem，Roderick:带参数化阈值保护的分布式算法综合（2018）
3. Konnov，Igor；Lazić，Marijana；Veith，Helmut；Widder，Josef：容错分布式算法安全性和活性验证的简短反例属性（2017）
4. Konnov，Igor；Lazić，Marijana；Veith，Helmut；Widder，Josef:（\textPara^2）：阈值保护分布式算法中可及性的参数化路径缩减、加速和SMT（2017）