Login / Signup
Ákos Schmidt
Publication Activity (10 Years)
Years Active: 2003-2004
Publications (10 Years): 0
</>
Publications
</>
Szilvia Gyapay
,
Ákos Schmidt
,
Dániel Varró
Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time.
Electron. Notes Theor. Comput. Sci.
109 (2004)
Arend Rensink
,
Ákos Schmidt
,
Dániel Varró
Model Checking Graph Transformations: A Comparison of Two Approaches.
ICGT
(2004)
Ákos Schmidt
,
Dániel Varró
CheckVML: A Tool for Model Checking Visual Modeling Languages.
UML
(2003)