TY - JOUR ID - SisLab1959 UR - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1959/ IS - 17 A1 - Dang, Duc Hanh A1 - Truong, Anh Hoang A1 - Gogolla, Martin Y1 - 2010/// JF - Journal of Universal Computer Science VL - 16 SN - 0948-695x TI - Checking the Conformance between Models Based on Scenario Synchronization SP - 2293 AV - none EP - 2312 ER -