CTR-S: a logic for specifying contracts in semantic web services.
Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan
VenueA*WWW
Year2004
ProceedingsWWW (Alternate Track Papers & Posters)
DBLP recordconf/www/DavulcuKR04 ↗
Browse the full WWW paper archive.