Automatic Service Composition via Model Checking.

Yuzhang Feng, Anitha Veeramani, Rajaraman Kanagasabai, Seungmin Rho

Browse the full APSCC paper archive.