@inproceedings{SisLab3598,
       booktitle = {THE 10TH INTERNATIONAL SYMPOSIUM ON INFORMATION AND COMMUNICATION TECHNOLOGY},
           month = {December},
           title = {On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems},
          author = {Hoang Viet Tran and Quang-Trung Nguyen and Ngoc Hung Pham},
            year = {2019},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/}
}