Content

Version/Status

  • Content created at: 2020-10-04

Description

Separation logic for UTXO-based blockchain ledgers

Metrics

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail