Igor Konnov, Marijana Lazic, Helmut Veith, Josef Widder. 2: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. Formal Methods in System Design, 51(2):270-307, 2017. [doi]
Abstract is missing.