Show simple item record

Analyzing Separation of Duties Constraints with a Probabilistic Model Checker

dc.contributor.authorMendt, Tamara
dc.contributor.authorSinz, Carsten
dc.contributor.authorTveretina, Olga
dc.date.accessioned2013-02-18T14:29:54Z
dc.date.available2013-02-18T14:29:54Z
dc.date.issued2011
dc.identifier.citationMendt , T , Sinz , C & Tveretina , O 2011 , Analyzing Separation of Duties Constraints with a Probabilistic Model Checker . in Business Information Systems Workshops : BIS 2011 International Workshops and BPSC International Conference . Springer Nature , pp. 18-29 , BIS 2011 Int Workshops and BPSC Int Conf , Poznan , Poland , 15/06/11 .
dc.identifier.citationconference
dc.identifier.isbn978-3-642-25369-0
dc.identifier.isbn978-3-642-25370-6
dc.identifier.urihttp://hdl.handle.net/2299/10043
dc.language.isoeng
dc.publisherSpringer Nature
dc.relation.ispartofBusiness Information Systems Workshops
dc.titleAnalyzing Separation of Duties Constraints with a Probabilistic Model Checkeren
dc.contributor.institutionSchool of Physics, Engineering & Computer Science
dc.contributor.institutionBiocomputation Research Group
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record