eprintid: 2041
rev_number: 7
eprint_status: archive
userid: 304
dir: disk0/00/00/20/41
datestamp: 2016-12-15 10:20:05
lastmod: 2016-12-15 10:20:05
status_changed: 2016-12-15 10:20:05
type: article
metadata_visibility: show
creators_name: Pham, Ngoc Hung
creators_name: Nguyen, Viet Ha
creators_name: Toshiaki, Aoki
creators_name: Takuya, Katayama
creators_id: hungpn@vnu.edu.vn
creators_id: hanv@vnu.edu.vn
title: On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification
ispublished: pub
subjects: IT
subjects: isi
divisions: fac_fit
date: 2012
date_type: published
publisher: IEICE
official_url: http://search.ieice.org/bin/summary.php?id=e95-a_9_1451
full_text_status: none
publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer
volume: 95-A
number: 9
pagerange: 1451-1460
refereed: TRUE
issn: 0916-8508
citation:   Pham, Ngoc Hung and Nguyen, Viet Ha and Toshiaki, Aoki and Takuya, Katayama  (2012) On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification.  IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer, 95-A  (9).   pp. 1451-1460.  ISSN 0916-8508