Author:
Pan Haiyu,Cao Yongzhi,Zhang Min,Chen Yixiang
Funder
National Natural Science Foundation of China
Zhejiang Provincial Natural Science Foundation of China
Subject
Applied Mathematics,Artificial Intelligence,Theoretical Computer Science,Software
Reference38 articles.
1. Reactive Systems: Modelling, Specification and Verification;Aceto,2007
2. Model checking discounted temporal properties;de Alfaro;Theor. Comput. Sci.,2005
3. Principles of Model Checking;Baier,2008
4. A state/event-based model-checking approach for the analysis of abstract system properties;ter Beek;Sci. Comput. Program.,2011
5. Fuzzy Relational Systems: Foundations and Principles;Bělohlávek,2002
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献