@misc{indiciaeebd8cb8432c9, title = {Analysis of Graph Transformation Systems: Native vs Translation-based Techniques}, author = {Reiko Heckel and Leen Lambers and Maryam Ghaffari Saadat}, year = {2019}, doi = {10.4204/eptcs.309.1}, url = {https://arxiv.org/abs/1912.09607}, note = {Source identifier: 1912.09607} }