00782na  a2200193   4500001001300000005001500013008004100028024002700069035002700096100002600123370004800149372005300197372004500250373003200295374005700327377001400384670011900398670007100517KAC2018I845420210930102320181004 b aznnnaabn          fa aaa      7 a00000004736698052isni  a(KISTI)ADPER00000208221 a온진호,g温晋浩  c한국(국명)[韓國]0KSH20000101452nlsh  a전자 공학[電子工學]0KSH19980184202nlsh  a컴퓨터[computer]0KSH19980009202nlsh  a한국전자통신연구원  a연구원(연구자)[硏究員]0KSH19980377142nlsh  l한국어  a공간 프로세스 대수에서 시간 속성의 명세와 분석을 위한 정형기법, (全北大學校), 2008  a한국과학기술정보연구원(KISTI)uhttps://www.kisti.re.kr/