Publication

Number of items: 1.
2011
  • Analyzing Separation of Duties Constraints with a Probabilistic Model Checker. (2011) Tamara Mendt, Carsten Sinz and Olga Tveretina
    • This list was generated on Sat Jun 13 03:04:04 2026 BST.