Schefer, Sigrid, Strembeck, Mark, Mendling, Jan. 2011. Checking Satisfiability Aspects of Binding Constraints in a Business Process Context. In BPM 2011 Workshops (2), Proc. of the BPM Workshop on Workflow Security Audit and Certification (WfSAC), Lecture Notes in Business Information Processing (LNBIP), Vol. 100, Hrsg. Farouk Toumani, Karsten Wolf, Stefanie Rinderle-Ma, 465-470. Clermont-Ferrand, France: Springer Verlag.
BibTeX
Tags
Press 'enter' for creating the tagPublication's profile
Status of publication | Published |
---|---|
Affiliation | WU |
Type of publication | Contribution to conference proceedings |
Language | English |
Title | Checking Satisfiability Aspects of Binding Constraints in a Business Process Context |
Title of whole publication | BPM 2011 Workshops (2), Proc. of the BPM Workshop on Workflow Security Audit and Certification (WfSAC), Lecture Notes in Business Information Processing (LNBIP), Vol. 100 |
Editor | Farouk Toumani, Karsten Wolf, Stefanie Rinderle-Ma |
Page from | 465 |
Page to | 470 |
Location | Clermont-Ferrand, France |
Publisher | Springer Verlag |
Year | 2011 |