008010424s2000 ulka a kor
■022 ▼a12296848
■090 ▼aS-569.905-한613ㅈㄴ 1999(7-12)
■245 ▼a광역조건식에 의한 공유자원 접근오류 검색▼bDetecting Shared Resource Usage Errors with Global Predicates▼d이은정 저▼e윤기송 공저
■260 ▼a서울▼b한국정보과학회▼c2000.
■300 ▼app. 1445-1454
■650 ▼a소프트웨어공학
■653 ▼a광역조건식▼a공유자원▼a접근▼a오류검색
■700 ▼a이은정
■700 ▼a윤기송
■773 ▼t정보과학회논문지(B):소프트웨어 및 응용▼g26권 12호 (1999년 12월)▼d2000, 01
■URL ▼ahttp://
■SIS ▼aS001758▼b15646▼h3▼s2