Validating and Enhancing Declarative Business Process Models Based on Allowed and Non-occurring Past Behavior

Seppe K. L. M. vanden Broucke, Filip Caron, Jan Vanthienen, Bart Baesens. Validating and Enhancing Declarative Business Process Models Based on Allowed and Non-occurring Past Behavior. In Niels Lohmann, Minseok Song, Petia Wohed, editors, Business Process Management Workshops - BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers. Volume 171 of Lecture Notes in Business Information Processing, pages 212-223, Springer, 2013. [doi]

@inproceedings{BrouckeCVB13,
  title = {Validating and Enhancing Declarative Business Process Models Based on Allowed and Non-occurring Past Behavior},
  author = {Seppe K. L. M. vanden Broucke and Filip Caron and Jan Vanthienen and Bart Baesens},
  year = {2013},
  doi = {10.1007/978-3-319-06257-0_17},
  url = {http://dx.doi.org/10.1007/978-3-319-06257-0_17},
  researchr = {https://researchr.org/publication/BrouckeCVB13},
  cites = {0},
  citedby = {0},
  pages = {212-223},
  booktitle = {Business Process Management Workshops - BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers},
  editor = {Niels Lohmann and Minseok Song and Petia Wohed},
  volume = {171},
  series = {Lecture Notes in Business Information Processing},
  publisher = {Springer},
  isbn = {978-3-319-06256-3},
}