%A Hoang Viet Tran
%A Quang-Trung Nguyen
%A Ngoc Hung Pham
%T On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems
%C Ha Long Bay, Quang Ninh, Vietnam
%D 2019
%L SisLab3598