Igor V. Konnov, Helmut Veith, Josef Widder. On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability. Inf. Comput., 252:95-109, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.