Confluence of Typed Attributed Graph Transformation Systems (2002)

Cached

Download Links

by Reiko Heckel , Jochen Malte Küster , Gabriele Taentzer
Venue:In: Proc. ICGT 2002. Volume 2505 of LNCS
Citations:38 - 6 self