eprintid: 1960
rev_number: 6
eprint_status: archive
userid: 289
dir: disk0/00/00/19/60
datestamp: 2016-12-05 02:53:55
lastmod: 2016-12-05 02:53:55
status_changed: 2016-12-05 02:53:55
type: conference_item
metadata_visibility: show
creators_name: Dang, Duc Hanh
creators_name: Truong, Anh Hoang
creators_name: Gogolla, Martin
creators_id: hanhdd@vnu.edu.vn
creators_id: hoangta@vnu.edu.vn
title: On Scenario Synchronization
ispublished: pub
subjects: IT
divisions: fac_fit
date: 2010
date_type: published
publisher: Springer
full_text_status: none
pres_type: paper
series: LNCS
volume: 6252
pagerange: 97-111
event_title: 8th International Conference on Automated Technology for Verification and Analysis (ATVA)
event_type: conference
refereed: TRUE
citation:   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).