@inproceedings{SisLab1960,
          volume = {6252},
          author = {Duc Hanh Dang and Anh Hoang Truong and Martin Gogolla},
          series = {LNCS},
       booktitle = {8th International Conference on Automated Technology for Verification and Analysis (ATVA)},
           title = {On Scenario Synchronization},
       publisher = {Springer},
           pages = {97--111},
            year = {2010},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1960/}
}