![](/img/cover-not-exists.png)
[IEEE 2014 Third IEEE International Colloquium in Information Science and Technology (CIST) - Tetouan, Morocco (2014.10.20-2014.10.22)] 2014 Third IEEE International Colloquium in Information Science and Technology (CIST) - Towards formal verification of business process using a graphical specification
El Hichami, Outman, Mohajir, Badr Eddine El, Achhab, Mohammed Al, Berrada, Ismail, Oucheikh, RachidYear:
2014
Language:
english
DOI:
10.1109/CIST.2014.7016587
File:
PDF, 303 KB
english, 2014