Supplementary Material for the paper "Results from the Verification of Spectrum Auction Model"
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Forschungsdaten |
| Publikationsdatum | 17.03.2022 |
| Erstellungsdatum | 13.03.2022 - 13.03.2022 |
| Identifikator | DOI: 10.5445/IR/1000143697 KITopen-ID: 1000143697 |
| Lizenz | Creative Commons Namensnennung – Nicht kommerziell 4.0 International |
| Liesmich | Spectrum auction model in BPMN |
| Art der Forschungsdaten | Dataset |