Vortrag537
Aus Aifbportal
Model Checking Expressive Web Service Descriptions
Informationen zum Vortrag
Datum: 10. Juli 2007
Titel: Model Checking Expressive Web Service Descriptions
Referent: Sudhir Agarwal
Veranstaltung:
Name: 5th International Conference on Web Services
Ort: Salt Lake City, Utah, USA
Land: AA
Forschungsgruppe: Web Science und Wissensmanagement