CTR-S: a logic for specifying contracts in semantic web services

Has publishing details pp. 144-153, 2004

Has title CTR-S: a logic for specifying contracts in semantic web services

Has url http://www.informatik.uni-trier.de/~ley/db/conf/www/www2004at.html#DavulcuKR04

Has where published WWW (Alternate Track Papers & Posters)

Has year 2004

Has author Hasan Davulcu +, Michael Kifer +, I. V. Ramakrishnan +

Has identifier CTR-S: a logic for specifying contracts in semantic web services +

Categories Proceeding Paper +