%0 Journal Article %1 10.1109/SRDS.2007.20 %A Tsuchiya, Tatsuhiro %A Schiper, Andre %C Los Alamitos, CA, USA %D 2007 %I IEEE Computer Society %J Reliable Distributed Systems, IEEE Symposium on %K consensus distributed modelchecking verification %P 137-148 %R http://doi.ieeecomputersociety.org/10.1109/SRDS.2007.20 %T Model Checking of Consensus Algorithms %U http://www.computer.org/portal/web/csdl/doi/10.1109/SRDS.2007.20 %V 0 %@ 0-7695-2995-X

@article{10.1109/SRDS.2007.20, added-at = {2010-01-12T11:28:03.000+0100}, address = {Los Alamitos, CA, USA}, author = {Tsuchiya, Tatsuhiro and Schiper, Andre}, biburl = {https://www.bibsonomy.org/bibtex/25055cb32ae234161f7cf1d0f7816db6a/giuliano.losa}, description = {Model Checking of Consensus Algorithms}, doi = {http://doi.ieeecomputersociety.org/10.1109/SRDS.2007.20}, interhash = {78e7e9c4926b2fab582e8e415e8a8786}, intrahash = {5055cb32ae234161f7cf1d0f7816db6a}, isbn = {0-7695-2995-X}, journal = {Reliable Distributed Systems, IEEE Symposium on}, keywords = {consensus distributed modelchecking verification}, pages = {137-148}, publisher = {IEEE Computer Society}, timestamp = {2010-01-12T11:28:04.000+0100}, title = {Model Checking of Consensus Algorithms}, url = {http://www.computer.org/portal/web/csdl/doi/10.1109/SRDS.2007.20}, volume = 0, year = 2007 }