@inproceedings {1099, title = {Criteria Evaluation-driven State Space Exploration of Graph Transformation Systems}, booktitle = {Proceedings of the 18th PhD Minisymposium}, year = {2011}, month = {02/2011}, pages = {42-45}, publisher = {Budapest University of Technology and Economics, Department of Measurement and Information Systems}, organization = {Budapest University of Technology and Economics, Department of Measurement and Information Systems}, address = {Budapest}, isbn = {978-963-421-601-8}, author = {{\'A}bel Heged{\"u}s} }