Piotr Zielinski. Automatic Verification and Discovery of Byzantine Consensus Protocols. In The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings. pages 72-81, IEEE Computer Society, 2007. [doi]
@inproceedings{Zielinski07,
title = {Automatic Verification and Discovery of Byzantine Consensus Protocols},
author = {Piotr Zielinski},
year = {2007},
doi = {http://doi.ieeecomputersociety.org/10.1109/DSN.2007.22},
tags = {discovery, protocol},
researchr = {http://researchr.org/publication/Zielinski07},
cites = {0},
citedby = {0},
pages = {72-81},
booktitle = {The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings},
publisher = {IEEE Computer Society},
}