On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability (bibtex)
by Igor V. Konnov, Helmut Veith, Josef Widder
Reference:
On the completeness of bounded model checking for threshold-based distributed algorithms: ReachabilityIgor V. Konnov, Helmut Veith, Josef WidderInformation and Computation, volume 252, pages 95-109, 2017.
Bibtex Entry:
@article{KVW17:IandC,
  author    = {Igor V. Konnov and
               Helmut Veith and
               Josef Widder},
  title     = {On the completeness of bounded model checking for threshold-based
               distributed algorithms: Reachability},
  journal   = {Information and Computation},
  volume    = {252},
  pages     = {95--109},
  year      = {2017},
  url       = {http://dx.doi.org/10.1016/j.ic.2016.03.006},
  doi       = {10.1016/j.ic.2016.03.006},
}
Powered by bibtexbrowser