%0 Conference Paper %1 conf/www/DavulcuKR04 %A Davulcu, Hasan %A Kifer, Michael %A Ramakrishnan, I. V. %B WWW (Alternate Track Papers & Posters) %D 2004 %E Feldman, Stuart I. %E Uretsky, Mike %E Najork, Marc %E Wills, Craig E. %I ACM %K dblp %P 144-153 %T CTR-S: a logic for specifying contracts in semantic web services. %U http://dblp.uni-trier.de/db/conf/www/www2004at.html#DavulcuKR04 %@ 1-58113-912-8

@inproceedings{conf/www/DavulcuKR04, added-at = {2018-11-06T00:00:00.000+0100}, author = {Davulcu, Hasan and Kifer, Michael and Ramakrishnan, I. V.}, biburl = {https://www.bibsonomy.org/bibtex/24765bcec89c2c609c2ff499fd9873dbb/dblp}, booktitle = {WWW (Alternate Track Papers & Posters)}, crossref = {conf/www/2004at}, editor = {Feldman, Stuart I. and Uretsky, Mike and Najork, Marc and Wills, Craig E.}, ee = {https://doi.org/10.1145/1013367.1013391}, interhash = {f62d149c7bf877b3cd45c0de1b08cdac}, intrahash = {4765bcec89c2c609c2ff499fd9873dbb}, isbn = {1-58113-912-8}, keywords = {dblp}, pages = {144-153}, publisher = {ACM}, timestamp = {2018-11-07T14:23:22.000+0100}, title = {CTR-S: a logic for specifying contracts in semantic web services.}, url = {http://dblp.uni-trier.de/db/conf/www/www2004at.html#DavulcuKR04}, year = 2004 }