![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Formal Techniques for Computer Systems and Business Processes Volume 3670 || A Parametric Communication Model for the Verification of BPEL4WS Compositions
Bravetti, Mario, Kloul, Leïla, Zavattaro, GianluigiVolume:
10.1007/11
Year:
2005
Language:
english
DOI:
10.1007/11549970_23
File:
PDF, 341 KB
english, 2005