@inproceedings {ahorvath-ICGT08-doc,
	title = {Towards a Two Layered Verification Approach for Compiled Graph Transformation},
	booktitle = {In Proc. of ICGT {\textquoteright}08 , 4th Intl. Conference on Graph Transformation},
	series = {LNCS 5214},
	year = {2008},
	publisher = {Springer},
	organization = {Springer},
	author = {{\'A}kos Horv{\'a}th},
	editor = {Reiko Heckel and Gabriele Taentzer}
}
