Parameterized model checking of fault-tolerant distributed algorithms by abstraction (bibtex)
by Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Reference:
Parameterized model checking of fault-tolerant distributed algorithms by abstractionAnnu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef WidderFMCAD, pages 201-209, 2013.
Bibtex Entry:
@inproceedings{JohnKSVW13:fmcad,
  author    = {Annu John and
               Igor Konnov and
               Ulrich Schmid and
               Helmut Veith and
               Josef Widder},
  title     = {Parameterized model checking of fault-tolerant
               distributed algorithms by abstraction},
  booktitle = {FMCAD},
  year      = {2013},
  pages     = {201--209},
  url = {http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD13/papers/10-Model-Checking-Fault-Tolerant-Distributed-Algo.pdf}
}
Powered by bibtexbrowser