Parameterized model checking of fault-tolerant distributed algorithms by abstraction (bibtex)
by Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Reference:
Parameterized model checking of fault-tolerant distributed algorithms by abstractionAnnu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef WidderProceedings Formal Methods in Computer-Aided Design (FMCAD'13), pages 201-209, 2013, IEEE.
Bibtex Entry:
@inproceedings{JKSVW13:FMCAD,
publisher = {IEEE},
title = {Parameterized model checking of fault-tolerant distributed algorithms
by abstraction},
url = {/pubpdf/Parameterized_model_checking_of_fault-tolerant_distributed_algorithms_by_abstraction.pdf},
booktitle = {Proceedings Formal Methods in Computer-Aided Design (FMCAD'13)},
author = {Annu John and Igor Konnov and Ulrich Schmid and Helmut Veith and
Josef Widder},
year = {2013},
pages = {201-209},
}
Powered by bibtexbrowser