%0 Conference Paper %1 journals/entcs/LevendovszkyPE07 %A Levendovszky, Tihamer %A Prange, Ulrike %A Ehrig, Hartmut %B GT-VC@CONCUR %D 2006 %E Rensink, Arend %E Heckel, Reiko %E König, Barbara %I Elsevier %K dblp %N 4 %P 87-100 %T Termination Criteria for DPO Transformations with Injective Matches. %U http://dblp.uni-trier.de/db/conf/concur/gtvc2006.html#LevendovszkyPE07 %V 175

@inproceedings{journals/entcs/LevendovszkyPE07, added-at = {2023-08-28T00:00:00.000+0200}, author = {Levendovszky, Tihamer and Prange, Ulrike and Ehrig, Hartmut}, biburl = {https://www.bibsonomy.org/bibtex/24607f3e1075d07c705e4288fd8af0706/dblp}, booktitle = {GT-VC@CONCUR}, crossref = {conf/concur/2006gtvc}, editor = {Rensink, Arend and Heckel, Reiko and König, Barbara}, ee = {https://www.wikidata.org/entity/Q114182438}, interhash = {5f550f6debde327fdc9f5ada3f2b738c}, intrahash = {4607f3e1075d07c705e4288fd8af0706}, keywords = {dblp}, number = 4, pages = {87-100}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T23:26:26.000+0200}, title = {Termination Criteria for DPO Transformations with Injective Matches.}, url = {http://dblp.uni-trier.de/db/conf/concur/gtvc2006.html#LevendovszkyPE07}, volume = 175, year = 2006 }