Verification of Data-Value-Aware Processes and a Case Study on Spectrum Auctions
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsmonat/-jahr | 06.2020 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-72819-926-9 KITopen-ID: 1000127599 |
| Erschienen in | 2020 IEEE 22nd Conference on Business Informatics (CBI), 22 - 24 June 2020, Antwerp, Belgium, Belgium |
| Veranstaltung | 22nd IEEE Conference on Business Informatics (IEEE CBI 2020), Antwerpen, Belgien, 22.06.2020 – 24.06.2020 |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | 181–190 |
| Nachgewiesen in | Scopus Dimensions |