@inproceedings{SisLab3120,
       booktitle = {2018 10th International Conference on Knowledge and Systems Engineering (KSE)},
           title = {On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software},
          author = {Hoang Viet Tran and Ngoc Hung Pham and Van Hung Dang},
            year = {2018},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3120/}
}