Towards Formal and Deduction-based Analysis of Business Models for SOA Processes.

Radoslaw Klimek

Browse the full ICAART paper archive.