direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation
Zitatschlüssel OGLE09
Autor Fernando Orejas and Esther Guerra and Juan de Lara and Hartmut Ehrig
Buchtitel Int. Conf. on Algebra and Coalgebra in Computer Science (CALCO'09)
Seiten 383-397
Jahr 2009
ISBN 978-3-642-03740-5
Jahrgang 5728
Herausgeber Alexander Kurz and Marina Lenisa and Andrzej Tarlecki
Verlag Springer
Serie LNCS
Download Bibtex Eintrag [1]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008