![](/img/cover-not-exists.png)
[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - A Proof Based Approach for Modelling and VerifyingWeb Services Compositions
Ait-Sadoune, Idir, Ait-Ameur, YamineYear:
2009
Language:
english
DOI:
10.1109/iceccs.2009.48
File:
PDF, 203 KB
english, 2009