Probabilistic Model Checking of Constraints in a Supply Chain Business Process
-
Author:
Tamara Mendt, Carsten Sinz, Olga Tveretina:
-
Source:
Business Information Systems - 14th International Conference, BIS 2011, Poznan, Poland, June 15-17, 2011. Proceedings. :1-12