Items where Author / Artist / Editor is "Nestmann, Uwe"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Conference or Workshop Item

Kammueller, Florian ORCID logoORCID: 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)

This list was generated on Mon May 29 06:20:32 2023 BST.