KIT | KIT-Bibliothek | Impressum | Datenschutz

Model Checking Expressive Web Service Descriptions

Agarwal, Sudhir



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2007
Sprache Englisch
Identifikator ISBN: 978-0-7695-2924-0
KITopen ID: 1000016821
Erschienen in IEEE International Conference on Web Services, ICWS 2007, 9 - 13 July 2007, Salt Lake City, Utah, USA. Proceedings. Ed.: L. Zhang
Verlag IEEE Computer Society, Los Alamitos (Calif.)
Seiten 1140 - 1141
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page