Tran, Hoang Viet and Pham, Ngoc Hung and Dang, Van Hung (2018) On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software. In: 2018 10th International Conference on Knowledge and Systems Engineering (KSE), 1-3 November 2018, Ho Chi Minh city, Vietnam. (In Press)