Items where Author is "Mendt, Tamara"

Number of items: 2.
Conference or Workshop Item
  • Probabilistic Model Checking of Constraints in a Supply Chain Business Process. (2011) Tamara Mendt, Olga Tveretina and Carsten Sinz picture_as_pdf
    • Other
  • Analyzing Separation of Duties Constraints with a Probabilistic Model Checker. (2011) Tamara Mendt, Carsten Sinz and Olga Tveretina