Dénes Bisztray, Reiko Heckel
Rule-Level Verification of Business Process Transformations using CSP
GT-VMT, 2007.
@article{GT-VMT-2007-BisztrayH,
author = "Dénes Bisztray and Reiko Heckel",
ee = "http://journal.ub.tu-berlin.de/eceasst/article/view/71",
journal = "{Electronic Communications of the EASST}",
title = "{Rule-Level Verification of Business Process Transformations using CSP}",
volume = 6,
year = 2007,
}