A New Approach to Verify Rule-Based Systems Using Petri Nets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xudong He, William C. Chu, Hongji Yang, Stephen J. H. Yang. A New Approach to Verify Rule-Based Systems Using Petri Nets. In 23rd International Computer Software and Applications Conference (COMPSAC 99), 27-19 October 1999, Phoenix, AZ, USA. pages 462-467, IEEE Computer Society, 1999. [doi]

This author has not been identified. Look up 'Xudong He' in GoogleThis author has not been identified. Look up 'William C. Chu' in GoogleThis author has not been identified. Look up 'Hongji Yang' in GoogleThis author has not been identified. Look up 'Stephen J. H. Yang' in Google

runs on WebDSL