Verifying Cross-Organizational Workflows Over Multi-Agent Based Environments.

Mirtha Lina Fernndez Venero

Browse the full CaiSE paper archive.