Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time

Szilvia Gyapay, Ákos Schmidt, Dániel Varró. Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time. Electronic Notes in Theoretical Computer Science, 109:137-147, 2004. [doi]

Abstract

Abstract is missing.