Inproceedings1276

Formal Specification of Web Service Contracts for Automated Contracting and Monitoring

Steffen Lamparter, Stefan Luckner, Sibylle Mutschler

Published: 2007 Januar

Buchtitel: Proceedings of the 40th Annual Hawaii International Conference on System Sciences
Verlag: Computer Society Press

Referierte Veröffentlichung

BibTeX

Download: Media:2007_1276_Lamparter_Formal_Specific_1.pdf

Projekt

Graduiertenkolleg IME

Forschungsgruppe

Wissensmanagement

Forschungsgebiet

Semantische Web Dienste