Login / Signup

Concurrent Algorithms in SPIN Model Checker.

M. Saqib NawazHussam AliMuhammad Ikram Ullah Lali
Published in: FIT (2016)
Keyphrases
  • learning algorithm
  • model checking
  • data structure
  • domain specific
  • data mining
  • np hard
  • software engineering