Sign in

Modeling and Verifying MooseFS in CSP.

Yucheng FangHuibiao ZhuGang LuLili XiaoWanling Xie
Published in: COMPSAC (1) (2018)
Keyphrases
  • constraint satisfaction problems
  • model checking
  • image sequences
  • information systems
  • knowledge base
  • database systems
  • np complete
  • tree decompositions