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, volume 51, number 2, pages 270-307, 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},
  volume = 51,
  number = 2,
  pages = {270--307},
  url = {https://link.springer.com/article/10.1007/s10703-017-0297-4},
                                                  }
Powered by bibtexbrowser