%S LNCS
%A Dániel Varró
%A Márk Asztalos
%A Dénes Bisztray
%A Artur Boronat
%A Duc Hanh Dang
%A Rubino Geiß
%A Joel Greenyer
%A Pieter Van Gorp
%A Ole Kniemeyer
%A Anantha Narayanan
%A Edgars Rencis
%A Erhard Weinell
%T Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
%P 540-565
%V 5088
%D 2007
%I Springer
%L SisLab1966