From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification

@inproceedings{pub7681,
    author = {

Hilken, Frank
 and 

Niemann, Philipp
 and 

Gogolla, Martin
 and 

Wille, Robert
},
    title = {From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification},
    booktitle = {8th International Conference on Model Transformation (ICMT). International Conference on Model Transformation (ICMT-08), July 20-24, L'Aquila, Italy},
    year = {2015}
}