Towards formal verification of Web service composition
Mohsen Rouached, Olivier Perrin and Claude Godart
| Year of publication: |
2006
|
|---|---|
| Authors: | Rouached, Mohsen ; Perrin, Olivier ; Godart, Claude |
| Published in: |
Business process management : 4th international conference, BPM 2006, Vienna, Austria, September 5 - 7, 2006 ; proceedings. - Berlin : Springer, ISBN 3-540-38901-6. - 2006, p. 257-273
|
| Subject: | Digitale Dienste | Web-based service | Informationsmanagement | Information management |
| Extent: | graph. Darst. |
|---|---|
| Type of publication: | Article |
| Type of publication (narrower categories): | Aufsatz im Buch ; Book section |
| Language: | English |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10003696700