CramptonH11'

@inproceedings{DBLP:conf/bpm/CramptonH11,
  author    = {Jason Crampton and
               Michael Huth},
  title     = {On the Modeling and Verification of Security-Aware and Process-Aware
               Information Systems},
  booktitle = {Business Process Management Workshops (2)},
  year      = {2011},
  pages     = {423-434},
  ee        = {http://dx.doi.org/10.1007/978-3-642-28115-0_40},
  crossref  = {DBLP:conf/bpm/2011w2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/bpm/2011w2,
  editor    = {Florian Daniel and
               Kamel Barkaoui and
               Schahram Dustdar},
  title     = {Business Process Management Workshops - BPM 2011 International
               Workshops, Clermont-Ferrand, France, August 29, 2011, Revised
               Selected Papers, Part II},
  booktitle = {Business Process Management Workshops (2)},
  publisher = {Springer},
  series    = {Lecture Notes in Business Information Processing},
  volume    = {100},
  year      = {2012},
  isbn      = {978-3-642-28114-3},
  ee        = {http://dx.doi.org/10.1007/978-3-642-28115-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}