Inproceedings1276
Aus Aifbportal
Formal Specification of Web Service Contracts for Automated Contracting and Monitoring
Formal Specification of Web Service Contracts for Automated Contracting and Monitoring
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
Forschungsgebiet