Kemin Wang, Yongbin Wang. A stochastic model checking method for the usability of clusters about distributed rendering system. In International Conference on Electronic and Mechanical Engineering and Information Technology, EMEIT 2011, Harbin, Heilongjiang, China, 12-14 August, 2011. pages 808-812, IEEE, 2011. [doi]
Abstract is missing.