%0 Conference Paper
%A Tran, Hoang Viet
%A Pham, Ngoc Hung
%A Dang, Van Hung
%B 2018 10th International Conference on Knowledge and Systems Engineering (KSE)
%C Ho Chi Minh city, Vietnam
%D 2018
%F SisLab:3120
%T On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3120/