Inproceedings,
Modeling Bitcoin Contracts by Timed Automata.
M. Andrychowicz, S. Dziembowski, D. Malinowski, and L. Mazurek.FORMATS, volume 8711 of Lecture Notes in Computer Science, page 7-22. Springer, (2014)
Meta data
- BibTeX key
- conf/formats/AndrychowiczDMM14
- entry type
- inproceedings
- booktitle
- FORMATS
- year
- 2014
- pages
- 7-22
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 8711
- crossref
- conf/formats/2014
- ee
- https://www.wikidata.org/entity/Q111687910
- isbn
- 978-3-319-10511-6
- url
- http://dblp.uni-trier.de/db/conf/formats/formats2014.html#AndrychowiczDMM14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/formats/AndrychowiczDMM14
%A Andrychowicz, Marcin
%A Dziembowski, Stefan
%A Malinowski, Daniel
%A Mazurek, Lukasz
%B FORMATS
%D 2014
%E Legay, Axel
%E Bozga, Marius
%I Springer
%K dblp
%P 7-22
%T Modeling Bitcoin Contracts by Timed Automata.
%U http://dblp.uni-trier.de/db/conf/formats/formats2014.html#AndrychowiczDMM14
%V 8711
%@ 978-3-319-10511-6
@inproceedings{conf/formats/AndrychowiczDMM14,
added-at = {2022-08-16T00:00:00.000+0200},
author = {Andrychowicz, Marcin and Dziembowski, Stefan and Malinowski, Daniel and Mazurek, Lukasz},
biburl = {https://www.bibsonomy.org/bibtex/22256b69c3c0d07179d4f3362dc9a6432/dblp},
booktitle = {FORMATS},
crossref = {conf/formats/2014},
editor = {Legay, Axel and Bozga, Marius},
ee = {https://www.wikidata.org/entity/Q111687910},
interhash = {80aed07ad4366b095690c002a5a8705e},
intrahash = {2256b69c3c0d07179d4f3362dc9a6432},
isbn = {978-3-319-10511-6},
keywords = {dblp},
pages = {7-22},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T15:35:38.000+0200},
title = {Modeling Bitcoin Contracts by Timed Automata.},
url = {http://dblp.uni-trier.de/db/conf/formats/formats2014.html#AndrychowiczDMM14},
volume = 8711,
year = 2014
}