Items where Author / Artist / Editor is "Nestmann, Uwe"
 | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Kammueller, Florian 
ORCID: https://orcid.org/0000-0001-5839-5488 and Nestmann, Uwe
(2020)
Inter-blockchain protocols with the Isabelle Infrastructure framework.
Bernardo, Bruno and Marmsoler, Diego, eds.
2nd Workshop on Formal Methods for Blockchain (FMBC 2020).
In: 2nd Workshop on Formal Methods for Blockchain, co-located with CAV'20, 20-21Jul 2020, Los Angeles, CA, USA.
ISBN 9783959771696.
ISSN 2190-6807
[Conference or Workshop Item]
(doi:10.4230/OASIcs.FMBC.2020.11)
