%S LNCS
%A Duc Hanh Dang
%T Triple Graph Grammars and OCL for Validating System Behavior
%P 481-483
%V 5214
%D 2008
%I Springer
%L SisLab1964