%0 Conference Paper %1 conf/wdag/TsuchiyaS08 %A Tsuchiya, Tatsuhiro %A Schiper, André %B DISC %D 2008 %E Taubenfeld, Gadi %I Springer %K dblp %P 466-480 %T Using Bounded Model Checking to Verify Consensus Algorithms. %U http://dblp.uni-trier.de/db/conf/wdag/disc2008.html#TsuchiyaS08 %V 5218 %@ 978-3-540-87778-3

@inproceedings{conf/wdag/TsuchiyaS08, added-at = {2017-05-19T00:00:00.000+0200}, author = {Tsuchiya, Tatsuhiro and Schiper, André}, biburl = {https://www.bibsonomy.org/bibtex/2944886f438ea8b0c24cee08a9e016ba7/dblp}, booktitle = {DISC}, crossref = {conf/wdag/2008}, editor = {Taubenfeld, Gadi}, ee = {https://doi.org/10.1007/978-3-540-87779-0_32}, interhash = {a7a06e0a34fe0f7d756f02cc2a941fca}, intrahash = {944886f438ea8b0c24cee08a9e016ba7}, isbn = {978-3-540-87778-3}, keywords = {dblp}, pages = {466-480}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:40:29.000+0200}, title = {Using Bounded Model Checking to Verify Consensus Algorithms.}, url = {http://dblp.uni-trier.de/db/conf/wdag/disc2008.html#TsuchiyaS08}, volume = 5218, year = 2008 }