A Short Counterexample Property for Safety and Liveness Verification of Fault-Tolerant Distributed Algorithms (bibtex)
by Igor Konnov, Marijana Lazic, Helmut Veith, Josef Widder
Reference:
A Short Counterexample Property for Safety and Liveness Verification of Fault-Tolerant Distributed AlgorithmsIgor Konnov, Marijana Lazic, Helmut Veith, Josef WidderarXiv/CoRR, volume 1608.05327, 2016.Note: (accepted to POPL 2017)
Bibtex Entry:
@article{KLVW16:arxiv,
  author = {Igor Konnov and Marijana Lazic and Helmut Veith and Josef Widder},
  title = {A Short Counterexample Property for Safety and Liveness
  Verification of Fault-Tolerant Distributed Algorithms},
  journal = {arXiv/CoRR},
  volume = {1608.05327},
  year = {2016},
  note = {(accepted to POPL 2017)},
  url = {http://arxiv.org/abs/1608.05327}
}
Powered by bibtexbrowser