iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/eceasst/WangBL14.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - JOUR ID - DBLP:journals/eceasst/WangBL14 AU - Wang, Xiaoliang AU - Büttner, Fabian AU - Lamo, Yngve TI - Verification of Graph-based Model Transformations Using Alloy. JO - Electron. Commun. Eur. Assoc. Softw. Sci. Technol. VL - 67 PY - 2014// DO - 10.14279/TUJ.ECEASST.67.943 UR - https://doi.org/10.14279/tuj.eceasst.67.943 ER -