Mohamed Boukhebouze, Youssef Amghar, Aïcha-Nabila Benharkat, Zakaria Maamar. Rule-Based Modeling and Verification of Business Processes Using ECAPE Net. In Proceedings of the 13th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2009, 1-4 September 2009, Auckland, New Zealand. pages 74, IEEE Computer Society, 2009.
Abstract is missing.