Results from the Verification of Models of Spectrum Auctions
- Author:
-
Source:
12th International Symposium on Business Modeling and Software Design (BMSD 2022). DOI: 10.1007/978-3-031-11510-3_4
- Date: 31.07.2022