Home | english  | Impressum | Datenschutz | Sitemap | KIT

Verifying Workflow Models with Data Values - a Case Study of SMR Spectrum Auctions

Verifying Workflow Models with Data Values - a Case Study of SMR Spectrum Auctions
Autor:

Elaheh Ordoni, Jutta Mülle, Klemens Böhm

Quelle:

Karlsruhe Reports in Informatics 2019,4
ISSN 2190-4782