Treffer: On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability

Title:
On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability
Authors:
Konnov, Igor, Veith, Helmut, Widder, Josef ⁎
Source:
In Information and Computation February 2017 252:95-109
Database:
ScienceDirect