Probabilistic Model Checking of Constraints in a Supply Chain Business Process
-
Autor:
Tamara Mendt, Carsten Sinz, Olga Tveretina
-
Quelle:
In Proc. of the 14th International Conference, BIS 2011, Poznan, Poland, June 15-17, 2011.