Login / Signup
On the verification of state-coding in STGs.
Kuan-Jen Lin
Chen-Shang Lin
Published in:
ICCAD (1992)
Keyphrases
</>
coding scheme
neural network
model checking
databases
decision making
filter bank