Wen Yang, Yuehui Jin, Tan Yang. An incidence matrix-based verification method for business process model in inter-domain network management system. In 15th IEEE International Conference on Communication Technology, ICCT 2013, Guilin, China, November 17-19, 2013. pages 775-779, IEEE, 2013. [doi]
Abstract is missing.