%0 Journal Article %1 journals/eceasst/RangelKE07 %A Rangel, Guilherme %A König, Barbara %A Ehrig, Hartmut %D 2007 %J ECEASST %K %T Bisimulation Verification for the DPO Approach with Borrowed. %U http://dblp.uni-trier.de/db/journals/eceasst/eceasst6.html#RangelKE07 %V 6

@article{journals/eceasst/RangelKE07, added-at = {2023-12-12T20:30:21.000+0100}, author = {Rangel, Guilherme and König, Barbara and Ehrig, Hartmut}, biburl = {https://www.bibsonomy.org/bibtex/2dddb39b302990c6a6b7d71ba00afe8ff/admin}, ee = {https://doi.org/10.14279/tuj.eceasst.6.70}, interhash = {30272cf6ed424574d5adfcd7fdbbcef8}, intrahash = {dddb39b302990c6a6b7d71ba00afe8ff}, journal = {ECEASST}, keywords = {}, timestamp = {2023-12-12T20:30:21.000+0100}, title = {Bisimulation Verification for the DPO Approach with Borrowed.}, url = {http://dblp.uni-trier.de/db/journals/eceasst/eceasst6.html#RangelKE07}, volume = 6, year = 2007 }