%0 Conference Paper %1 conf/opodis/TalmageW15 %A Talmage, Edward %A Welch, Jennifer L. %B OPODIS %D 2015 %E Anceaume, Emmanuelle %E Cachin, Christian %E Potop-Butucaru, Maria Gradinariu %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 32:1-32:16 %T Generic Proofs of Consensus Numbers for Abstract Data Types. %U http://dblp.uni-trier.de/db/conf/opodis/opodis2015.html#TalmageW15 %V 46 %@ 978-3-939897-98-9

@inproceedings{conf/opodis/TalmageW15, added-at = {2018-08-23T00:00:00.000+0200}, author = {Talmage, Edward and Welch, Jennifer L.}, biburl = {https://www.bibsonomy.org/bibtex/2365ca1cacf4ce01271923be26e9679f3/dblp}, booktitle = {OPODIS}, crossref = {conf/opodis/2015}, editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria Gradinariu}, ee = {https://doi.org/10.4230/LIPIcs.OPODIS.2015.32}, interhash = {cff13bd6bbf6a3b5c0e306ce4bdc8510}, intrahash = {365ca1cacf4ce01271923be26e9679f3}, isbn = {978-3-939897-98-9}, keywords = {dblp}, pages = {32:1-32:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:49:14.000+0100}, title = {Generic Proofs of Consensus Numbers for Abstract Data Types.}, url = {http://dblp.uni-trier.de/db/conf/opodis/opodis2015.html#TalmageW15}, volume = 46, year = 2015 }