Hoang Viet Tran, Pham Ngoc Hung, Dang Van Hung. On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software. In Nguyen Thanh Thuy, Satoshi Tojo, Tan Hanh, Minh Le Nguyen, Tu Minh Phuong, Vo Nguyen Quoc Bao, editors, 10th International Conference on Knowledge and Systems Engineering, KSE 2018, Ho Chi Minh City, Vietnam, November 1-3, 2018. pages 270-275, IEEE, 2018. [doi]
Abstract is missing.