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,
title = {Starting a Dialog between Model Checking and Fault-tolerant Distributed
Algorithms},
url = {http://arxiv.org/pdf/1210.3839},
journal = {ArXiv e-prints},
author = {{John}, Annu and {Konnov}, Igor and {Schmid}, Ulrich and {Veith}, Helmut and {Widder}, Josef},
month = {October},
link = {http://arxiv.org/abs/1210.3839},
year = {2012},
}
Powered by bibtexbrowser