KIT | KIT-Bibliothek | Impressum

Workflow Services: A Petri Net-Based Approach to Web Services

Lenz, K.; Oberweis, A.



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2004
Sprache Englisch
Identifikator KITopen ID: 1000018496
Erschienen in International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings. Ed.: T. Margaria
Verlag Department of Computer Science, University of Cyprus
Seiten 35 - 42
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page