%0 Journal Article %@ 0948-695x %A Dang, Duc Hanh %A Truong, Anh Hoang %A Gogolla, Martin %D 2010 %F SisLab:1959 %J Journal of Universal Computer Science %N 17 %P 2293-2312 %T Checking the Conformance between Models Based on Scenario Synchronization %U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1959/ %V 16