%0 Conference Paper %1 conf/iceccs/ThinDBD18 %A Thin, Wai Yan Maung Maung %A Dong, Naipeng %A Bai, Guangdong %A Dong, Jin Song %B ICECCS %D 2018 %I IEEE Computer Society %K dblp %P 197-200 %T Formal Analysis of a Proof-of-Stake Blockchain. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2018.html#ThinDBD18 %@ 978-1-5386-9341-4

@inproceedings{conf/iceccs/ThinDBD18, added-at = {2019-02-11T00:00:00.000+0100}, author = {Thin, Wai Yan Maung Maung and Dong, Naipeng and Bai, Guangdong and Dong, Jin Song}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2609ef9f5ae339651baa161625d7b9ea7/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/2018}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICECCS2018.2018.00031}, interhash = {8ec80e030b3cd277761cdb2876489ee2}, intrahash = {609ef9f5ae339651baa161625d7b9ea7}, isbn = {978-1-5386-9341-4}, keywords = {dblp}, pages = {197-200}, publisher = {IEEE Computer Society}, timestamp = {2019-09-27T18:38:22.000+0200}, title = {Formal Analysis of a Proof-of-Stake Blockchain.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2018.html#ThinDBD18}, year = 2018 }