"The Validation and Verification of WSCDL."

Geguang Pu et al. (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics