relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1960/
title: On Scenario Synchronization
creator: Dang, Duc Hanh
creator: Truong, Anh Hoang
creator: Gogolla, Martin
subject: Information Technology (IT)
publisher: Springer
date: 2010
type: Conference or Workshop Item
type: PeerReviewed
identifier:   Dang, Duc Hanh and Truong, Anh Hoang and Gogolla, Martin  (2010) On Scenario Synchronization.  In: 8th International Conference on Automated Technology for Verification and Analysis (ATVA).