01406nam a2200325 c 4500001001300000005001500013008004100028040001100069041001300080052003200093245016400125300002500289545006900314545006600383545009900449545008200548545007100630653004200701700001900743700004800762700001400810700001400824700001400838773014000852900001700992900002001009900001801029900001401047900001901061KSI00039846820050603144915050526s2000    ulk           000   kor    a0110010 akorbeng01a028.605b한613ㅈㅂc7(7)00aVIS를 이용한 RACE 프로토콜의 정형검증=xFormal verification of RACE protocol using VIS/d엄현선,e최진영,e한우종,e기안도,e심규현  ap. 2219-2228;c26 cm  a엄현선, 준회원 : 고려대학교 대학원 컴퓨터학과  a최진영, 정회원 : 고려대학교 컴퓨터학과 교수  a한우종, 정회원 : 한국전자통신연구원 병렬시스템연구팀장 책임연구원  a기안도, 정회원 : Dynalith Systems, Inc의 R&D Director(책임연구원)  a심규현, 정회원 : 한국전자통신연구원 선임연구원  aVISaRACEa프로토콜a정형검증1 a엄현선4aut1 a최진영,g崔振榮,d1959-0KAC2018275051 a한우종1 a기안도1 a심규현0 t정보처리논문지.d한국정보처리학회.g제7권 7호(2000년 7월), p. 2219-2228q7:7<2219w(011001)KSE199509081,x1226-919010aUm, Hyun-Sun10aChoi, Jin-Young10aHan, Woo-Jong10aKi, An-Do10aShim, Kyu-Hyun