Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Márk Asztalos, Péter Ekler, László Lengyel, Tihamer Levendovszky, Gergely Mezei, Tamás Mészáros. Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations. ECEASST, 42, 2011. [doi]

This author has not been identified. Look up 'Márk Asztalos' in GoogleThis author has not been identified. Look up 'Péter Ekler' in GoogleThis author has not been identified. Look up 'László Lengyel' in GoogleThis author has not been identified. Look up 'Tihamer Levendovszky' in GoogleThis author has not been identified. Look up 'Gergely Mezei' in GoogleThis author has not been identified. Look up 'Tamás Mészáros' in Google

runs on WebDSL