Author:
Jiang Kaiqiang,Guan Chunlin,Wang Jiahui,Du Dehui
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Language Inclusion Checking of Timed Automata Based on Property Patterns;Applied Sciences;2022-12-16
2. Transforming RoboSim Models into UPPAAL;2021 International Symposium on Theoretical Aspects of Software Engineering (TASE);2021-08