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]
No references recorded for this publication.
No citations of this publication recorded.