Verification of variable service orchestrations using model checking.

Selma Suloglu, Riza Aktunc, Mustafa Yucefaydali

Browse the full ISSTA paper archive.