Outman El Hichami, Mohammed Al Achhab, Ismail Berrada, Badr Eddine El Mohajir. Visual Specification Language and Automatic Checking of Business Process. In Hassane Alla, Louiza Bouallouche-Medjkoune, editors, Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2014, Bejaïa, Algeria, September 29-30, 2014. Volume 1256 of CEUR Workshop Proceedings, pages 93-101, CEUR-WS.org, 2014. [doi]
Abstract is missing.