TY  - CONF
ID  - SisLab1960
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1960/
A1  - Dang, Duc Hanh
A1  - Truong, Anh Hoang
A1  - Gogolla, Martin
Y1  - 2010///
PB  - Springer
T3  - LNCS
VL  - 6252
TI  - On Scenario Synchronization
SP  - 97
AV  - none
EP  - 111
T2  - 8th International Conference on Automated Technology for Verification and Analysis (ATVA)
ER  -