Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms (bibtex)
by Igor V. Konnov, Josef Widder, Francesco Spegni, Luca Spalazzi
Reference:
Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed AlgorithmsIgor V. Konnov, Josef Widder, Francesco Spegni, Luca SpalazziVerification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings, pages 347-366, 2017.
Bibtex Entry:
@inproceedings{KWSS17:VMCAI,
  author    = {Igor V. Konnov and
               Josef Widder and
               Francesco Spegni and
               Luca Spalazzi},
  title     = {Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed
               Algorithms},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International
               Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
  pages     = {347--366},
  year      = {2017},
  url       = {http://forsyte.tuwien.ac.at/static/download/17kwss-accuracy-vmcai.pdf},
  doi       = {10.1007/978-3-319-52234-0_19},
  timestamp = {Thu, 12 Jan 2017 18:57:14 +0100},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/vmcai/KonnovWSS17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
Powered by bibtexbrowser