Media type: E-Book Title: Verifying workflow models with data values : a case study of SMR spectrum auctions Contributor: Ordoni, Elaheh [VerfasserIn]; Mülle, Jutta [VerfasserIn]; Böhm, Klemens [VerfasserIn] Corporation: Karlsruher Institut für Technologie, Fakultät für Informatik imprint: Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, April 2019 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2019,4 Extent: 1 Online-Ressource (28 Seiten, 768,17 KB) Language: English DOI: 10.5445/IR/1000093998 Identifier: Keywords: Forschungsbericht Origination: Footnote: Literaturverzeichnis: Seite 24-26 Access State: Open Access