Login / Signup

Formal checking of WS-BPEL orchestrations.

Jelena MatkovicKresimir Fertalj
Published in: MIPRO (2014)
Keyphrases