A Method for Formal Verification of Service Interoperability.

Stanislav Pokraev, Dick A. C. Quartel, Maarten W. A. Steen, Manfred Reichert

Browse the full ICWS paper archive.