Outman El Hichami, Badr Eddine El Mohajir, Mohammed Al Achhab, Ismail Berrada, Rachid Oucheikh. Towards formal verification of business process using a graphical specification. In Mohammed El Mohajir, Mohammed Al Achhab, Mohamed Chahhou, editors, Third IEEE International Colloquium in Information Science and Technology, CIST 2014, Tetouan, Morocco, October 20-22, 2014. pages 12-17, IEEE, 2014. [doi]
Abstract is missing.