상세 보기
A New Approach to Deterministic Execution Testing for Concurrent Programs
- 제목
- A New Approach to Deterministic Execution Testing for Concurrent Programs
- 저자
- kim, Byeong-Man
- 발행일
- 2000-04-10
- 학회명
- International Workshop on Distributed System Validation and Verification