Login / Signup

FILL and FUNI: algorithms to identify illegal states and sequentially untestable faults.

David E. LongMahesh A. IyerMiron Abramovici
Published in: ACM Trans. Design Autom. Electr. Syst. (2000)
Keyphrases