Konnov, Igor: What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms. . In: PSI 2015, S.621
Inhalt