%0 Conference Paper
%A Tran, Hoang Viet
%A Nguyen, Quang-Trung
%A Pham, Ngoc Hung
%B THE 10TH INTERNATIONAL SYMPOSIUM ON INFORMATION AND COMMUNICATION TECHNOLOGY
%C Ha Long Bay, Quang Ninh, Vietnam
%D 2019
%F SisLab:3598
%T On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/