Brief announcement: Parameterized model checking of fault-tolerant distributed algorithms by abstraction (bibtex)
by Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Reference:
Brief announcement: Parameterized model checking of fault-tolerant distributed algorithms by abstractionAnnu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef WidderProceedings ACM Symposium on Principles of Distributed Computing (PODC'13), pages 119-121, 2013, ACM.
Bibtex Entry:
@inproceedings{JKSVW13:PODC,
publisher = {ACM},
title = {Brief announcement: {P}arameterized model checking of fault-tolerant
distributed algorithms by abstraction},
booktitle = {Proceedings ACM Symposium on Principles of Distributed Computing
(PODC'13)},
author = {Annu John and Igor Konnov and Ulrich Schmid and Helmut Veith and
Josef Widder},
year = {2013},
pages = {119-121},
}
Powered by bibtexbrowser