상세 보기
Compile-Time Error Detection in Temporal Specifications for Interactive Multimedia Applications
Compile-Time Error Detection in Temporal Specifications for Interactive Multimedia Applications
- 제목
- Compile-Time Error Detection in Temporal Specifications for Interactive Multimedia Applications
- 제목 (타언어)
- Compile-Time Error Detection in Temporal Specifications for Interactive Multimedia Applications
- 저자
- kim, Byeong-Man
- 발행일
- 1995-12-31