Vol-2018⫷ Vol-2019 ⫸Vol-2020
urn:nbn:de:0074-2019-0


Vol-2019/modevva_1⫷Vol-2019/modevva_2⫸Vol-2019/modevva_3
Raquel Araújo de OliveiraJürgen Dingel

Supporting Model Refinement with Equivalence Checking in the Context of Model-driven Engineering with UML-RT