A Logic of Blockchain Updates

TitleA Logic of Blockchain Updates
Publication TypeConference Paper
Year of Publication2018
AuthorsBrünnler, K, Flumini, D, Studer, T
EditorArtemov, S, Nerode, A
Conference NameLogical Foundations of Computer Science
Pagination107-119
PublisherSpringer International Publishing
Conference LocationCham
ISBN Number978-3-319-72056-2
URLhttp://www.iam.unibe.ch/ltgpub/2018/bfs18.pdf