Login / Signup

On the verification of state-coding in STGs.

Kuan-Jen LinChen-Shang Lin
Published in: ICCAD (1992)
Keyphrases
  • coding scheme
  • neural network
  • model checking
  • databases
  • decision making
  • filter bank