Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms (bibtex)
by Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Reference:
Towards Modeling and Model Checking Fault-Tolerant Distributed AlgorithmsAnnu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef WidderProceedings 20th International Symposium on Model Checking Software (SPIN'13), Springer LNCS 7976, pages 209-226, 2013, Springer.
Bibtex Entry:
@inproceedings{JKSVW13:SPIN,
publisher = {Springer},
title = {Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms},
url = {/pubpdf/Towards_Modeling_and_Model_Checking_Fault-Tolerant_Distributed_Algorithms.pdf},
booktitle = {Proceedings 20th International Symposium on Model Checking Software
(SPIN'13), Springer LNCS 7976},
author = {Annu John and Igor Konnov and Ulrich Schmid and Helmut Veith and
Josef Widder},
year = {2013},
pages = {209-226},
}
Powered by bibtexbrowser