%0 Conference Paper %1 conf/cts/DennisOA16 %A Dennis, Richard %A Owenson, Gareth %A Aziz, Benjamin %B CTS %D 2016 %E Smari, Waleed W. %E Natarian, Joseph %I IEEE Computer Society %K dblp %P 430-437 %T A Temporal Blockchain: A Formal Analysis. %U http://dblp.uni-trier.de/db/conf/cts/cts2016.html#DennisOA16 %@ 978-1-5090-2300-4

@inproceedings{conf/cts/DennisOA16, added-at = {2017-05-24T00:00:00.000+0200}, author = {Dennis, Richard and Owenson, Gareth and Aziz, Benjamin}, biburl = {https://www.bibsonomy.org/bibtex/22565ba364b65543f57e2fb8a458364fb/dblp}, booktitle = {CTS}, crossref = {conf/cts/2016}, editor = {Smari, Waleed W. and Natarian, Joseph}, ee = {https://doi.org/10.1109/CTS.2016.0082}, interhash = {aeb7e2eaf359ab48f4b7cecb885c0c32}, intrahash = {2565ba364b65543f57e2fb8a458364fb}, isbn = {978-1-5090-2300-4}, keywords = {dblp}, pages = {430-437}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T16:42:21.000+0200}, title = {A Temporal Blockchain: A Formal Analysis.}, url = {http://dblp.uni-trier.de/db/conf/cts/cts2016.html#DennisOA16}, year = 2016 }