자료유형  

 기사

ISSN  

12296848

저자명  

정인상

서명/저자  

오토마타기반의 병행 프로그램을 위한 결정적 수행 테스팅 기법 / 정인상 , 김병만, 김현수 공저

발행사항  

서울 : 한국정보과학회, 2001.

형태사항  

pp. 706 - 719

주기사항  

권말 색인 및 참고문헌

기타저자  

김병만, 김현수

기본자료저록  

정보과학회논문지 : 소프트웨어 및 응용(Journal of KISS:Software and App : 제28권 제10호 (2001년 10월) 2001, 10

모체레코드  

모체정보확인

Control Number  

kjul:60223797