%0 Journal Article %1 journals/eceasst/BisztrayH07 %A Bisztray, Dénes %A Heckel, Reiko %D 2007 %J ECEASST %K %T Rule-Level Verification of Business Process Transformations using CSP. %U http://dblp.uni-trier.de/db/journals/eceasst/eceasst6.html#BisztrayH07 %V 6

@article{journals/eceasst/BisztrayH07, added-at = {2023-12-13T05:34:50.000+0100}, author = {Bisztray, Dénes and Heckel, Reiko}, biburl = {https://www.bibsonomy.org/bibtex/2579c9697f7dfaba33725e41db796b784/admin}, ee = {https://doi.org/10.14279/tuj.eceasst.6.71}, interhash = {a4349adc45dc96d0af7a39d2a80633d9}, intrahash = {579c9697f7dfaba33725e41db796b784}, journal = {ECEASST}, keywords = {}, timestamp = {2023-12-13T05:34:50.000+0100}, title = {Rule-Level Verification of Business Process Transformations using CSP.}, url = {http://dblp.uni-trier.de/db/journals/eceasst/eceasst6.html#BisztrayH07}, volume = 6, year = 2007 }