On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability.

Igor Konnov, Helmut Veith, Josef Widder

Browse the full CONCUR paper archive.