Tamara Mendt, Carsten Sinz, Olga Tveretina. Probabilistic Model Checking of Constraints in a Supply Chain Business Process. In Witold Abramowicz, editor, Business Information Systems - 14th International Conference, BIS 2011, Poznan, Poland, June 15-17, 2011. Proceedings. Volume 87 of Lecture Notes in Business Information Processing, pages 1-12, Springer, 2011. [doi]
Abstract is missing.