Hoang Viet Tran, Quang-Trung Nguyen, Pham Ngoc Hung. On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems. In Proceedings of the Tenth International Symposium on Information and Communication Technology, Ha Noi, Ha Long Bay, Vietnam, December 4-6, 2019. pages 457-464, ACM, 2019. [doi]
Abstract is missing.