Termination Analysis of Model Transformations by Petri Nets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dániel Varró, Szilvia Varró-Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer. Termination Analysis of Model Transformations by Petri Nets. In Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg, editors, Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings. Volume 4178 of Lecture Notes in Computer Science, pages 260-274, Springer, 2006. [doi]

This author has not been identified. It may be one of the following persons:

Dániel Varró

Look up 'Dániel Varró' in GoogleThis author has not been identified. Look up 'Szilvia Varró-Gyapay' in GoogleThis author has not been identified. Look up 'Hartmut Ehrig' in GoogleThis author has not been identified. Look up 'Ulrike Prange' in GoogleIdentified as Gabriele Taentzer

runs on WebDSL