%0 Conference Paper
%A Dang, Duc Hanh
%A Truong, Anh Hoang
%A Gogolla, Martin
%B 8th International Conference on Automated Technology for Verification and Analysis (ATVA)
%D 2010
%F SisLab:1960
%I Springer
%P 97-111
%T On Scenario Synchronization
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1960/
%V 6252