Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla. Checking the Conformance between Models Based on Scenario Synchronization. J. UCS, 16(17):2293-2312, 2010. [doi]
@article{DangTG10-0,
title = {Checking the Conformance between Models Based on Scenario Synchronization},
author = {Duc-Hanh Dang and Anh-Hoang Truong and Martin Gogolla},
year = {2010},
url = {http://www.jucs.org/jucs_16_17/checking_the_conformance_between},
tags = {rule-based, synchronization, model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/DangTG10-0},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {16},
number = {17},
pages = {2293-2312},
}