TY - CONF ID - SisLab1966 UR - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1966/ A1 - Varró, Dániel A1 - Asztalos, Márk A1 - Bisztray, Dénes A1 - Boronat, Artur A1 - Dang, Duc Hanh A1 - Geiß, Rubino A1 - Greenyer, Joel A1 - Gorp, Pieter Van A1 - Kniemeyer, Ole A1 - Narayanan, Anantha A1 - Rencis, Edgars A1 - Weinell, Erhard Y1 - 2007/// PB - Springer T3 - LNCS VL - 5088 TI - Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools SP - 540 AV - none EP - 565 T2 - The 3rd International Conference on Applications of Graph Transformations with Industrial Relevance (AGTIVE) ER -