Sign in

Bounded Correctness Checking of the Universal Fragment of eCTL.

Fei PuWenhui Zhang
Published in: FSDM (2017)
Keyphrases
  • information retrieval
  • data sets
  • databases
  • web pages
  • expert systems
  • consistency checking
  • kolmogorov complexity
  • neural network
  • image processing
  • case study
  • optimal solution
  • distributed databases
  • provably correct