Dataset Groups Activity Stream Supplementary material for the paper "results from the verification of spectrum auction model" TechnicalRemarks: Spectrum auction model in BPMN BibTex: @dataset{Ordoni_Elaheh_2023, abstract = {TechnicalRemarks: Spectrum auction model in BPMN}, author = {Ordoni, Elaheh}, doi = {10.35097/1309}, institution = {RADAR}, title = {Supplementary material for the paper "results from the verification of spectrum auction model"}, url = {https://service.tib.eu/ldmservice/vdataset/rdr-doi-10-35097-1309}, year = {2023} }