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 WidderChapter in Formal Methods for Executable Software Models, 2014, Springer.Note: (to appear)
Bibtex Entry:
@incollection{GKSVW14:SFM,
publisher = {Springer},
title = {Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed
Algorithms},
series = {LNCS},
booktitle = {Formal Methods for Executable Software Models},
author = {Annu Gmeiner and Igor Konnov and Ulrich Schmid and Helmut Veith and
Josef Widder},
note = {(to appear)},
year = {2014},
url = {/pubpdf/tutorial_on_parameterized_model_checking_of_fault_tolerant.pdf}
}
Powered by bibtexbrowser