Ákos Schmidt

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2004

3 Arend Rensink, Ákos Schmidt, Dániel Varró: Model Checking Graph Transformations: A Comparison of Two Approaches. ICGT 2004: 226-241

2 Szilvia Gyapay, Ákos Schmidt, Dániel Varró: Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time. Electr. Notes Theor. Comput. Sci. 109: 137-147 (2004)

2003

1 Ákos Schmidt, Dániel Varró: CheckVML: A Tool for Model Checking Visual Modeling Languages. UML 2003: 92-95

	2004
3		Arend Rensink, Ákos Schmidt, Dániel Varró: Model Checking Graph Transformations: A Comparison of Two Approaches. ICGT 2004: 226-241
2		Szilvia Gyapay, Ákos Schmidt, Dániel Varró: Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time. Electr. Notes Theor. Comput. Sci. 109: 137-147 (2004)
	2003
1		Ákos Schmidt, Dániel Varró: CheckVML: A Tool for Model Checking Visual Modeling Languages. UML 2003: 92-95

Coauthor Index

1	Arend Rensink	[3]
2	Dániel Varró	[1] [2] [3]
3	Szilvia Varró-Gyapay (Szilvia Gyapay)	[2]