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 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}
}
Powered by bibtexbrowser