Jelena Matkovic, Kresimir Fertalj. Formal checking of WS-BPEL orchestrations. In 37th International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2014, Opatija, Croatia, May 26-30, 2014. pages 360-366, IEEE, 2014. [doi]
Abstract is missing.