@inproceedings{Hoel06c, author = {H{\"o}lscher, K. and Klempien-Hinrichs, R. and Knirsch, P.}, title = {Undecidable Control Conditions in Graph Transformation Units}, booktitle = {Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2006)}, year = {2006}, editor = {Moreira Martins, A. and Ribeiro, L.}, publisher = {Elsevier}, doi = {10.1016/j.entcs.2007.08.028}, pages = {95-111} }