Published in: OASIcs, Volume 95, 3rd International Workshop on Formal Methods for Blockchains (FMBC 2021)
Bruno Bernardo and Diego Marmsoler. OASIcs, Volume 95, FMBC 2021, Complete Volume. In 3rd International Workshop on Formal Methods for Blockchains (FMBC 2021). Open Access Series in Informatics (OASIcs), Volume 95, pp. 1-68, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
@Proceedings{bernardo_et_al:OASIcs.FMBC.2021,
title = {{OASIcs, Volume 95, FMBC 2021, Complete Volume}},
booktitle = {3rd International Workshop on Formal Methods for Blockchains (FMBC 2021)},
pages = {1--68},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-209-9},
ISSN = {2190-6807},
year = {2021},
volume = {95},
editor = {Bernardo, Bruno and Marmsoler, Diego},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2021},
URN = {urn:nbn:de:0030-drops-154239},
doi = {10.4230/OASIcs.FMBC.2021},
annote = {Keywords: OASIcs, Volume 95, FMBC 2021, Complete Volume}
}
Published in: OASIcs, Volume 95, 3rd International Workshop on Formal Methods for Blockchains (FMBC 2021)
Bruno Bernardo and Diego Marmsoler. Front Matter, Table of Contents, Preface, Conference Organization. In 3rd International Workshop on Formal Methods for Blockchains (FMBC 2021). Open Access Series in Informatics (OASIcs), Volume 95, pp. 0:i-0:xii, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
@InProceedings{bernardo_et_al:OASIcs.FMBC.2021.0,
author = {Bernardo, Bruno and Marmsoler, Diego},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {3rd International Workshop on Formal Methods for Blockchains (FMBC 2021)},
pages = {0:i--0:xii},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-209-9},
ISSN = {2190-6807},
year = {2021},
volume = {95},
editor = {Bernardo, Bruno and Marmsoler, Diego},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2021.0},
URN = {urn:nbn:de:0030-drops-154246},
doi = {10.4230/OASIcs.FMBC.2021.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
Published in: OASIcs, Volume 84, 2nd Workshop on Formal Methods for Blockchains (FMBC 2020)
Bruno Bernardo and Diego Marmsoler. OASIcs, Volume 84, FMBC 2020, Complete Volume. In 2nd Workshop on Formal Methods for Blockchains (FMBC 2020). Open Access Series in Informatics (OASIcs), Volume 84, pp. 1-136, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@Proceedings{bernardo_et_al:OASIcs.FMBC.2020,
title = {{OASIcs, Volume 84, FMBC 2020, Complete Volume}},
booktitle = {2nd Workshop on Formal Methods for Blockchains (FMBC 2020)},
pages = {1--136},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-169-6},
ISSN = {2190-6807},
year = {2020},
volume = {84},
editor = {Bernardo, Bruno and Marmsoler, Diego},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2020},
URN = {urn:nbn:de:0030-drops-134121},
doi = {10.4230/OASIcs.FMBC.2020},
annote = {Keywords: OASIcs, Volume 84, FMBC 2020, Complete Volume}
}
Published in: OASIcs, Volume 84, 2nd Workshop on Formal Methods for Blockchains (FMBC 2020)
Bruno Bernardo and Diego Marmsoler. Front Matter, Table of Contents, Preface, Conference Organization. In 2nd Workshop on Formal Methods for Blockchains (FMBC 2020). Open Access Series in Informatics (OASIcs), Volume 84, pp. 0:i-0:xii, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{bernardo_et_al:OASIcs.FMBC.2020.0,
author = {Bernardo, Bruno and Marmsoler, Diego},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {2nd Workshop on Formal Methods for Blockchains (FMBC 2020)},
pages = {0:i--0:xii},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-169-6},
ISSN = {2190-6807},
year = {2020},
volume = {84},
editor = {Bernardo, Bruno and Marmsoler, Diego},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2020.0},
URN = {urn:nbn:de:0030-drops-134137},
doi = {10.4230/OASIcs.FMBC.2020.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
Feedback for Dagstuhl Publishing