Login / Signup

Termination of High-Level Replacement Units with Application to Model Transformation.

Paolo BottoniManuel KochFrancesco Parisi-PresicceGabriele Taentzer
Published in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases