Tran, Hoang Viet and Nguyen, Quang-Trung and Pham, Ngoc Hung (2019) On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems. In: THE 10TH INTERNATIONAL SYMPOSIUM ON INFORMATION AND COMMUNICATION TECHNOLOGY, December 4 – 6, 2019, Ha Long Bay, Quang Ninh, Vietnam. (In Press)