Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms

John, Annu; Konnov, Igor; Schmid, Ulrich; Veith, Helmut; Widder, Josef

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}
}