Member at SOAMED:
2013 - 2015
Advisors:
Prof. Reisig HU Prof. Glesner TU
Title of thesis:
Concurrency-based Refinement for the Construction of Services