eprintid: 768
rev_number: 6
eprint_status: archive
userid: 5
dir: disk0/00/00/07/68
datestamp: 2015-07-22 13:58:05
lastmod: 2015-07-22 13:58:05
status_changed: 2015-07-22 13:58:05
type: conference_item
metadata_visibility: show
creators_name: Hoang, Minh Duong
creators_name: Le, Khanh Trinh
creators_name: Pham, Ngoc Hung
creators_id: hungpn@vnu.edu.vn
title: An Assume-Guarantee Model Checker for Component-Based Systems
ispublished: pub
subjects: IT
divisions: fac_fit
date: 2013-11
date_type: published
full_text_status: none
pres_type: paper
pagerange: 22-26
event_title: 2013: IEEE RIVF International Conference on Computing and Communication Technologies (RIVF2013)
event_location: Hanoi, VIETNAM
event_dates: November 11-13, 2013
event_type: conference
refereed: TRUE
citation:   Hoang, Minh Duong and Le, Khanh Trinh and Pham, Ngoc Hung  (2013) An Assume-Guarantee Model Checker for Component-Based Systems.  In: 2013: IEEE RIVF International Conference on Computing and Communication Technologies (RIVF2013), November 11-13, 2013, Hanoi, VIETNAM.