Inproceedings,
Verifying Payment Channels with TLA+.
M. Grundmann, and H. Hartenstein.ICBC, page 1-3. IEEE, (2022)
Meta data
- BibTeX key
- conf/icbc2/GrundmannH22
- entry type
- inproceedings
- booktitle
- ICBC
- year
- 2022
- pages
- 1-3
- publisher
- IEEE
- crossref
- conf/icbc2/2022
- ee
- https://doi.org/10.1109/ICBC54727.2022.9805487
- isbn
- 978-1-6654-9538-7
- url
- http://dblp.uni-trier.de/db/conf/icbc2/icbc2022.html#GrundmannH22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icbc2/GrundmannH22
%A Grundmann, Matthias
%A Hartenstein, Hannes
%B ICBC
%D 2022
%I IEEE
%K dblp
%P 1-3
%T Verifying Payment Channels with TLA+.
%U http://dblp.uni-trier.de/db/conf/icbc2/icbc2022.html#GrundmannH22
%@ 978-1-6654-9538-7
@inproceedings{conf/icbc2/GrundmannH22,
added-at = {2022-07-04T00:00:00.000+0200},
author = {Grundmann, Matthias and Hartenstein, Hannes},
biburl = {https://www.bibsonomy.org/bibtex/2ae4c195a012a93a914b2c80f520e0c05/dblp},
booktitle = {ICBC},
crossref = {conf/icbc2/2022},
ee = {https://doi.org/10.1109/ICBC54727.2022.9805487},
interhash = {8b8916b8dff066a935a00385da4f3d00},
intrahash = {ae4c195a012a93a914b2c80f520e0c05},
isbn = {978-1-6654-9538-7},
keywords = {dblp},
pages = {1-3},
publisher = {IEEE},
timestamp = {2024-04-09T10:42:59.000+0200},
title = {Verifying Payment Channels with TLA+.},
url = {http://dblp.uni-trier.de/db/conf/icbc2/icbc2022.html#GrundmannH22},
year = 2022
}