Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (bibtex)
by Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Reference:
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed AlgorithmsAnnu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef WidderFormal Methods for Executable Software Models, pages 122-171, 2014, Springer.
Bibtex Entry:
@inproceedings{GKSVW14:SFM,
  author = 	 {Annu Gmeiner and Igor Konnov
        and Ulrich Schmid and Helmut Veith and Josef Widder},
  title = 	 {Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed
  Algorithms},
  booktitle = 	 {Formal Methods for Executable Software Models},
  OPTcrossref =  {},
  OPTkey = 	 {},
  pages = 	 {122--171},
  publisher = {Springer},
  year = 	 {2014},
  OPTeditor = 	 {},
  OPTvolume = 	 {8483},
  OPTnumber = 	 {},
  series = 	 {LNCS},
  OPTtype = 	 {},
  OPTchapter = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  url = 	 {http://forsyte.at/download/GKSVW14.pdf},
  OPTannote = 	 {}
}
Powered by bibtexbrowser