Ahmed Awad, Gero Decker, Mathias Weske. Efficient Compliance Checking Using BPMN-Q and Temporal Logic. In Marlon Dumas, Manfred Reichert, Ming-Chien Shan, editors, Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings. Volume 5240 of Lecture Notes in Computer Science, pages 326-341, Springer, 2008. [doi]
@inproceedings{AwadDW08, title = {Efficient Compliance Checking Using BPMN-Q and Temporal Logic}, author = {Ahmed Awad and Gero Decker and Mathias Weske}, year = {2008}, doi = {10.1007/978-3-540-85758-7_24}, url = {http://dx.doi.org/10.1007/978-3-540-85758-7_24}, tags = {BPMN, logic}, researchr = {https://researchr.org/publication/AwadDW08}, cites = {0}, citedby = {0}, pages = {326-341}, booktitle = {Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings}, editor = {Marlon Dumas and Manfred Reichert and Ming-Chien Shan}, volume = {5240}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-85757-0}, }