Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Inproceedings1490

Aus Aifbportal

Wechseln zu: Navigation, Suche

(This page contains COinS metadata)

Model Checking Expressive Web Service Descriptions




Published: 2007 Juli
Herausgeber: Liang-Jie Zhang, Kenneth P. Birman, Jia Zhang
Buchtitel: 5th International Conference on Web Services
Seiten: 1140-1141
Verlag: IEEE
Erscheinungsort: Salt Lake City, Utah, USA
Referierte Veröffentlichung
BibTeX

Download: Media:2007_1490_Agarwal_Model_Checking__1.pdf

Projekt

SESAMNeOnKAON WS



Forschungsgruppe

Wissensmanagement


Forschungsgebiet
Sicherheit, Semantische Web Dienste, Web Services