Mohammed Berrada, Bouchaib Bounabat, Mostafa Harti. Qualitative Verification of Multi-Agents Reactive Decisional System Using Business Process Modeling Notation. In Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Hong Kong, China, 18-22 December 2006. pages 747-751, IEEE Computer Society, 2006. [doi]
Abstract is missing.