Detection of test Patterns with Unreachable States through Efficient Inductive-Invariant Identification

Author(s):  
Masahiro Fujita
Sign in / Sign up

Export Citation Format

Share Document