Authors: ZUPAN B CHENG AMK

Citation: B. Zupan et Amk. Cheng, OPTIMIZATION OF RULE-BASED SYSTEMS USING STATE-SPACE GRAPHS, IEEE transactions on knowledge and data engineering, 10(2), 1998, pp. 238-254

Authors: CHEN JR CHENG AMK

Citation: Jr. Chen et Amk. Cheng, RESPONSE-TIME ANALYSIS OF EQL REAL-TIME RULE-BASED SYSTEMS, IEEE transactions on knowledge and data engineering, 7(1), 1995, pp. 26-43

Authors: CHENG AMK BROWNE JC MOK AK WANG RH

Citation: Amk. Cheng et al., ANALYSIS OF REAL-TIME RULE-BASED SYSTEMS WITH BEHAVIORAL CONSTRAINT ASSERTIONS SPECIFIED IN ESTELLA, IEEE transactions on software engineering, 19(9), 1993, pp. 863-885