대구한의대학교 향산도서관

선택목록저장

검색간략리스트

저널기사
모형검사를 위한 Modal-Calculus와 CTL의 안전성 및 필연성논리식 증명 / 이부호 김태균 이준원 김성운 / 한국정보과학회 / 정보 과학회 논문지(시스템 및 이론) / 1999 /
항목 :