Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation

Autor
Orejas, F.; Guerra, E.; Lara, D.; Ehrig, H.
Tipus d'activitat
Article en revista
Revista
Lecture notes in computer science
Data de publicació
2009-01
Volum
5728
Pàgina inicial
383
Pàgina final
397
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants