Automatic DAG-Based Service Composition: A Model Checking Approach.

Yuzhang Feng, Anitha Veeramani, Rajaraman Kanagasabai

Browse the full ICWS paper archive.