Verifying Safety of Parameterized Heard-Of Algorithms

Networked Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-67087-0_14 ◽

2021 ◽

pp. 209-226

Author(s):

Zeinab Ganjei ◽

Ahmed Rezine ◽

Petru Eles ◽

Zebo Peng

Download Full-text