Li, Qianli, Minnan Normal University, China

• Vol 15, No 1: March 2017 - Computer Science and Information System
  Local Model Checking Algorithm Based on Mu-calculus with Partial Orders
  Abstract  PDF