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 WidderSPIN, volume 7976 of LNCS, pages 209-226, 2013.
Bibtex Entry:
@inproceedings{JKSVW13:SPIN,
author = {Annu John and Igor Konnov
and Ulrich Schmid and Helmut Veith and Josef Widder},
title = {Towards Modeling and Model Checking Fault-Tolerant Distributed
Algorithms},
year = {2013},
OPTkey = {},
booktitle = {SPIN},
OPTeditor = {},
volume = {7976},
pages = {209--226},
OPTnumber = {},
series = {LNCS},
OPTaddress = {},
OPTmonth = {},
OPTorganization = {},
OPTpublisher = {},
url = {http://forsyte.at/wp-content/uploads/spin13.pdf}
}