Treffer: Para 2 : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
Title:
Para 2 : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
Authors:
Source:
Formal Methods in System Design: An International Journal. :1-38
Database:
Springer Nature Journals