Publisher
Springer International Publishing
Reference13 articles.
1. Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
2. Clark, E.M., Grumberg, O., Peled, D.: Model Checking. The MIT Press, Cambridge (1999)
3. Rozier, K.Y.: Linear temporal logic symbolic model checking. Comput. Sci. Rev. 5(2), 163–203 (2011)
4. Li, Y.M., Li, L.J.: Model checking of linear-time properties based on possibility measure. IEEE Trans. Fuzzy Syst. 21(5), 842–854 (2013)
5. Li, Y.M., Li, Y.L., Ma, Z.Y.: Computation tree logic model checking based on possibility measures. Fuzzy Sets Syst. 262, 44–59 (2015)