TY  - INPR
ID  - SisLab3598
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3598/
A1  - Tran, Hoang Viet
A1  - Nguyen, Quang-Trung
A1  - Pham, Ngoc Hung
Y1  - 2019/12//
TI  - On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems
AV  - public
M2  - Ha Long Bay, Quang Ninh, Vietnam
T2  - THE 10TH INTERNATIONAL SYMPOSIUM ON INFORMATION AND COMMUNICATION TECHNOLOGY
ER  -