Specification, Verification and Explanation of Violation for Data Aware Compliance Rules (bibtex)
by Ahmed Awad, Matthias Weidlich, and Mathias Weske
Reference:
Specification, Verification and Explanation of Violation for Data Aware Compliance Rules (Ahmed Awad, Matthias Weidlich, and Mathias Weske), In Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings (Luciano Baresi, Chi-Hung Chi, Jun Suzuki, eds.), volume 5900, 2009.
Bibtex Entry:
@inproceedings{DBLP:conf/icsoc/AwadWW09,
  author    = {Ahmed Awad and
               Matthias Weidlich and
               Mathias Weske},
  editor    = {Luciano Baresi and
               Chi{-}Hung Chi and
               Jun Suzuki},
  title     = {Specification, Verification and Explanation of Violation for Data
               Aware Compliance Rules},
  booktitle = {Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave
               2009, Stockholm, Sweden, November 24-27, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5900},
  pages     = {500--515},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10383-4\_37},
  doi       = {10.1007/978-3-642-10383-4\_37},
  timestamp = {Sat, 31 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icsoc/AwadWW09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  pdf       = {https://www.informatik.hu-berlin.de/%7eweidlima/pubs/awad_icsoc_2009_specification_verification.pdf}
}