![](/img/cover-not-exists.png)
[IEEE 2016 4th IEEE International Colloquium on Information Science and Technology (CIST) - Tangier, Morocco (2016.10.24-2016.10.26)] 2016 4th IEEE International Colloquium on Information Science and Technology (CiSt) - A probabilistic method for business process verification: Reachability, Liveness and deadlock detection
Naoum, Mohamed, El Hichami, Outman, Achhab, Mohammed Al, Eddine El Mohajir, BadrYear:
2016
Language:
english
DOI:
10.1109/CIST.2016.7805029
File:
PDF, 884 KB
english, 2016