Publisher
Springer International Publishing
Reference15 articles.
1. Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Springer, US (2010)
2. Lin, F., Ying, H.: Modeling and control of fuzzy discrete event systems. IEEE Trans. Syst., Man, Cybern., Cybern., 32(4), 408–415 (2002)
3. Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
4. Li, Y.M., Ma, Z.Y.: Quantitative computation tree logic model checking based on generalized possibility measures. IEEE Trans. Fuzzy Syst. 23(6), 2034–2047 (2015)
5. Li, Y.M.: Quantitative model checking of linear-time properties based on generalized possibility measures. Fuzzy Sets Syst. 320, 17–39 (2017)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献