Funder
National Natural Science Foundation of China
Singapore University of Technology and Design
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated Verification for Real-Time Systems;Tools and Algorithms for the Construction and Analysis of Systems;2023
2. Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm;Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity;2022-11-29
3. Verification of Bounded Inclusion Problem for Timed Automata with Diagonal Constraints;2022 International Conference on Electrical, Computer and Energy Technologies (ICECET);2022-07-20
4. Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language;International Journal of Foundations of Computer Science;2021-01-06