Search

Now showing items 1-3 of 3

Joint optimization and reachability analysis in graph transformation systems with time

Varró-Gyapay, Szilvia; Schmidt A; Varró, Dániel (2004)

Model checking graph transformations: A comparison of two approaches

Rensink A; Schmidt A; Varró, Dániel (2004)

CheckVML: A tool for model checking visual modeling languages

Schmidt A; Varró, Dániel (2003)