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.Note: to appear
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},
                                                  note = {to appear}
                                                  }
Powered by bibtexbrowser