A Temporal-Rule Based Verification System for Business Collaboration Reliability

Haiyang Sun, Jian Yang, Weiliang Zhao. A Temporal-Rule Based Verification System for Business Collaboration Reliability. RITA, 16(2):65-68, 2009. [doi]

Abstract

Abstract is missing.