Results from the Verification of Models of Spectrum Auctions
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2022 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-031-11510-3 ISSN: 1865-1348, 1865-1356 KITopen-ID: 1000150443 |
| Erschienen in | Business Modeling and Software Design – 12th International Symposium, BMSD 2022, Fribourg, Switzerland, June 27–29, 2022, Proceedings |
| Veranstaltung | 12th International Symposium on Business Modeling and Software Design (BMSD 2022), Freiburg, Schweiz, 27.06.2022 – 29.06.2022 |
| Verlag | Springer International Publishing |
| Seiten | 54–68 |
| Serie | Lecture Notes in Business Information Processing (LNBIP) ; 453 |
| Vorab online veröffentlicht am | 31.07.2022 |
| Nachgewiesen in | Scopus Dimensions |