TY  - INPR
ID  - SisLab3120
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3120/
A1  - Tran, Hoang Viet
A1  - Pham, Ngoc Hung
A1  - Dang, Van Hung
Y1  - 2018///
TI  - On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software
AV  - none
M2  - Ho Chi Minh city, Vietnam
T2  - 2018 10th International Conference on Knowledge and Systems Engineering (KSE)
ER  -