Supplementary material for the paper "results from the verification of spectrum auction model"

TechnicalRemarks: Spectrum auction model in BPMN

BibTex: