%A Hoang Viet Tran
%A Ngoc Hung Pham
%A Van Hung Dang
%T On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software
%C Ho Chi Minh city, Vietnam
%D 2018
%L SisLab3120