Inproceedings,

An Extendible Translation of BPEL to a Machine-verifiable Model.

, , and .
SEKE, page 344-349. Knowledge Systems Institute Graduate School, (2009)

Meta data

Tags

Users

  • @dblp

Comments and Reviews