Show simple item record

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.otherPURE: 1303056
dc.identifier.otherPURE UUID: a14fe912-4473-4926-a0ba-a29fa3490c6f
dc.identifier.otherScopus: 81255153991
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