%0 Conference Paper %1 journals/corr/HalpernP17 %A Halpern, Joseph Y. %A Pass, Rafael %B TARK %D 2017 %E Lang, Jérôme %K dblp %P 324-335 %T A Knowledge-Based Analysis of the Blockchain Protocol. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs251.html#HalpernP17 %V 251

@inproceedings{journals/corr/HalpernP17, added-at = {2023-08-28T00:00:00.000+0200}, author = {Halpern, Joseph Y. and Pass, Rafael}, biburl = {https://www.bibsonomy.org/bibtex/2d0a723b92aa7886f90d122119a285ebc/dblp}, booktitle = {TARK}, crossref = {journals/corr/Lang17a}, editor = {Lang, Jérôme}, ee = {https://www.wikidata.org/entity/Q120781151}, interhash = {d9fd2cc41d6038534572745facb7443b}, intrahash = {d0a723b92aa7886f90d122119a285ebc}, keywords = {dblp}, pages = {324-335}, series = {EPTCS}, timestamp = {2024-04-10T09:06:21.000+0200}, title = {A Knowledge-Based Analysis of the Blockchain Protocol.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs251.html#HalpernP17}, volume = 251, year = 2017 }