Publication
Number of items: 1.
2011
  • Analyzing Separation of Duties Constraints with a Probabilistic Model Checker. (2011) Tamara Mendt, Carsten Sinz and Olga Tveretina