@Inproceedings{koschmider2019voscupm, author = "Agnes Koschmider and Frank Duchmann", booktitle = "Central-European Workshop on Services and their Composition (ZEUS 2019)", month = "Februar", note = "(to appear)", publisher = "WS-CEUR", title = "Validation of Smart Contracts Using Process Mining", year = "2019", }