Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms (bibtex)
by Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Reference:
Starting a Dialog between Model Checking and Fault-tolerant Distributed AlgorithmsAnnu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef WidderArXiv e-prints, October 2012.
Bibtex Entry:
@ARTICLE{2012arXiv1210.3839J,
   author = {{John}, Annu and {Konnov}, Igor and {Schmid}, Ulrich and {Veith}, Helmut and
	{Widder}, Josef},
    title = "{Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms}",
  journal = {ArXiv e-prints},
     year = 2012,
    month = {October},
  url = {http://arxiv.org/abs/1210.3839}
}
Powered by bibtexbrowser