Chunhua Tian, Hao Zhang, Feng Li, Tie Liu. Rule flow logic verification: A simulation based approach. In 2009 IEEE/INFORMS International Conference on Service Operations, Logistics and Informatics, SOLI 2009, Chicago, IL, USA, July 22-24, 2009. pages 669-674, IEEE, 2009. [doi]
Abstract is missing.