Items where Author is "Mendt, Tamara"

Item Type No Grouping

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