Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction (bibtex)
by Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Reference:
Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstractionAnnu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef WidderPODC, pages 119-121, 2013.
Bibtex Entry:
@inproceedings{DBLP:conf/podc/JohnKSVW13,
  author    = {Annu John and
               Igor Konnov and
               Ulrich Schmid and
               Helmut Veith and
               Josef Widder},
  title     = {Brief announcement: parameterized model checking of fault-tolerant
               distributed algorithms by abstraction},
  booktitle = {PODC},
  year      = {2013},
  pages     = {119--121},
  url = {http://dl.acm.org/ft_gateway.cfm?id=2484285&ftid=1382008&dwn=1&CFID=235242276&CFTOKEN=15911765}
}
Powered by bibtexbrowser