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: 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. In: 2nd Workshop on Formal Methods for Blockchain, co-located with CAV'20, 20-21Jul 2020, Los Angeles, CA, USA. . [Conference or Workshop Item] (Published online first) (doi:10.4230/LIPIcs.FMBC.2020.23)

This list was generated on Tue Nov 30 05:50:23 2021 GMT.