Validation of Smart Contracts Using Process Mining (short paper)

Frank Duchmann, Agnes Koschmider. Validation of Smart Contracts Using Process Mining (short paper). In Stefan Kolb 0001, Christian Sturm 0002, editors, Proceedings of the 11th Central European Workshop on Services and their Composition, Bayreuth, Germany, February 14-15, 2019. Volume 2339 of CEUR Workshop Proceedings, pages 13-16, CEUR-WS.org, 2019. [doi]

Abstract

Abstract is missing.