Gabriele Taentzer. Analysis Techniques for Graph Transformation Systems. In Moussa Amrani, Eugene Syriani, Manuel Wimmer, editors, Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), L'Aquila, Italy, July 23, 2015. Volume 1530 of CEUR Workshop Proceedings, pages 1, CEUR-WS.org, 2015. [doi]
@inproceedings{Taentzer15, title = {Analysis Techniques for Graph Transformation Systems}, author = {Gabriele Taentzer}, year = {2015}, url = {http://ceur-ws.org/Vol-1530/paper1.pdf}, researchr = {https://researchr.org/publication/Taentzer15}, cites = {0}, citedby = {0}, pages = {1}, booktitle = {Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), L'Aquila, Italy, July 23, 2015}, editor = {Moussa Amrani and Eugene Syriani and Manuel Wimmer}, volume = {1530}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }