pdf-format: |
|
@InProceedings{bernardo_et_al:OASIcs:2020:13412, author = {Bruno Bernardo and Diego Marmsoler}, title = {{OASIcs, Volume 84, FMBC 2020, Complete Volume}}, booktitle = {2nd Workshop on Formal Methods for Blockchains (FMBC 2020)}, series = {OpenAccess Series in Informatics (OASIcs)}, ISBN = {978-3-95977-169-6}, ISSN = {2190-6807}, year = {2020}, volume = {84}, editor = {Bruno Bernardo and Diego Marmsoler}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2020/13412}, URN = {urn:nbn:de:0030-drops-134121}, doi = {10.4230/OASIcs.FMBC.2020}, annote = {Keywords: OASIcs, Volume 84, FMBC 2020, Complete Volume} }
Keywords: | OASIcs, Volume 84, FMBC 2020, Complete Volume | |
Seminar: | 2nd Workshop on Formal Methods for Blockchains (FMBC 2020) | |
Issue date: | 2020 | |
Date of publication: | 11.12.2020 |