상세 보기
Symbolic Reachability Analysis of Large Finite State Machine Using Don't Cares
- 제목
- Symbolic Reachability Analysis of Large Finite State Machine Using Don't Cares
- 저자
- 홍유표
- 발행일
- 1999-03-09
- 학회명
- Design, Automation and Test in Europe
- 개최지
- Munich
- 개최국가
- 독일
- 학회 개최일
- 1999-03-09 ~ 1999-03-12