Contains the keyword termination

Varró D, Varró-Gyapay S, Ehrig H, Prange U, Taentzer G. Termination Analysis of Model Transformations by {Petri} Nets. In: Corradini A, Ehrig H, Montanari U, Ribeiro L, Rozenberg G, editors. Proc. Third International Conference on Graph Transformation (ICGT 2006). Vol 4178. Natal, Brazil: Springer; 2006. p. 260-74. (LNCS; vol 4178). Abstract
Acceptance rate: 45%
Syndicate content