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 |
| Publikationsjahr | 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 |
| Seiten | 35 - 42 |