Para^2: Parameterized Path Reduction, Acceleration, and SMT for Reachability in Threshold-Guarded Distributed Algorithms (bibtex)
by Igor Konnov, Marijana Lazic, Helmut Veith, Josef Widder
Reference:
Para^2: Parameterized Path Reduction, Acceleration, and SMT for Reachability in Threshold-Guarded Distributed AlgorithmsIgor Konnov, Marijana Lazic, Helmut Veith, Josef WidderFormal Methods in System Design, 2017, Springer.
Bibtex Entry:
@article{KLVW17:FMSD,
  author    = {Igor Konnov and
                 Marijana Lazic and
                                Helmut Veith and
                                               Josef Widder},
                                                title     = {Para^2: Parameterized Path Reduction, Acceleration, and {SMT} for Reachability in Threshold-Guarded Distributed Algorithms},
                                                publisher={Springer},
                                                journal={Formal Methods in System Design},
                                                  year      = {2017},
                                                  url = {https://link.springer.com/article/10.1007/s10703-017-0297-4},
                                                  }
Powered by bibtexbrowser