Dénes Bisztray, Reiko Heckel. Rule-Level Verification of Business Process Transformations using CSP. ECEASST, 6, 2007. [doi]
@article{BisztrayH07, title = {Rule-Level Verification of Business Process Transformations using CSP}, author = {Dénes Bisztray and Reiko Heckel}, year = {2007}, url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/71}, tags = {rule-based, business rules, rules, transformation}, researchr = {https://researchr.org/publication/BisztrayH07}, cites = {0}, citedby = {0}, journal = {ECEASST}, volume = {6}, }