00987nam a2200241 k 4500001001500000005001500015008004100030040001900071041001300090049003000103052002200133056001400155082001600169100004800185245014100233260003600374300002700410502009900437653009600536950002100632963004000653965005200693KDM199000880  20180911100127900615s1989    ulka       AK 000   kor    a011001c0110010 akorbeng0 lEM738551lEM744259c2fDP01a028.64b최819ㅅ  a028.64230 a001.6422191 a최영근,g崔英根,d1957-0KAC20140498510a시상 논리를 이용한 자동 검증 시스템에 관한 연구=x(An)automatic verification system using temporal logic/d崔英根  a서울:b서울大學校,c1989  a132장:b삽도;c26cm1 a학위논문(박사) --b서울大學校 大學院:c計算統計學科 計算學專攻,d1989  a시상a논리a자동a검증a시스템aAUTOMATICaVERIFICATIONaSYSTEMaTEMPORALaLOGIC1 a비매품b\4800  a계산통계학과a계산학전공  a컴퓨터프로그래밍x자동검증시스템