01439nam a2200325 c 4500001001300000005001500013008004100028040001100069041001300080052002600093245017000119300002100289545007400310545005400384545007300438545007300511545007300584653010300657700001900760700004800779700001400827700001400841700001400855773015600869900001701025900002001042900001801062900001401080900001901094KSI00029887420040806113036040803s1999    ulk           000   kor    a0110010 akorbeng01a569.905b고367ㅈc900aRACE 캐쉬 일관성 프로토콜의 정형검증=xFormal verification of cache coherence protocol RACE/d엄현선,e최진영,e한우종,e기안도,e심규현  ap. 29-40;c26 cm  a엄현선, 고려대학교 컴퓨터이론 및 정형기법 연구실  a최진영, 고려대학교 컴퓨터학과 교수  a한우종, 한국전자통신연구원 컴퓨터 시스템 연구소  a기안도, 한국전자통신연구원 컴퓨터 시스템 연구소  a심규현, 한국전자통신연구원 컴퓨터 시스템 연구소  aRACE캐쉬 일관성프로토콜a정형검증aFormal verificationaCache coherence protocol RACE1 a엄현선4aut1 a최진영,g崔振榮,d1959-0KAC2018275051 a한우종1 a기안도1 a심규현0 t情報通信技術論文誌.d高麗大學校附設 情報通信技術共同硏究所.g9卷(1999년), p. 29-40q9<29w(011001)KSE199501841,x1225-253010aUm, Hyun-Sun10aChoi, Jin-Young10aHan, Woo-Jong10aKi, An-Do10aShim, Kyu-Hyun