Author:
Farn Wang ,Geng-Dian Huang ,Fang Yu
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model Checking Real-Time Systems;Handbook of Model Checking;2018
2. Symbolic performance adaptation;Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems;2016-05-14
3. A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata;IEEE Transactions on Software Engineering;2015-01-01
4. A menagerie of timed automata;ACM Computing Surveys;2014-01
5. The Power of Proofs: New Algorithms for Timed Automata Model Checking;Lecture Notes in Computer Science;2014