KIT | KIT-Bibliothek | Impressum | Datenschutz

Verification of Data-Value-Aware Processes and a Case Study on Spectrum Auctions

Ordoni, Elaheh; Mulle, Jutta; Bohm, Klemens



Originalveröffentlichung
DOI: 10.1109/CBI49978.2020.00027
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 (CBI 2020), Antwerpen, Belgien, 22.06.2020 – 24.06.2020
Verlag Institute of Electrical and Electronics Engineers (IEEE)
Seiten 181–190
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page