| [ MIT ] in KIDS 글 쓴 이(By): ljksky (이 진 규) 날 짜 (Date): 1998년03월31일(화) 21시11분28초 ROK 제 목(Title): 논문을 찻습니다. "Formal Methods in System Design" 에 실린 논문인데 KAIST하고 있을만한 몇몇 군데에는 잡지가 없네요. 혹 그쪽에는 있나 싶어서.. 논문명은 Formal verification of a distributed computer system임니다. Formal Methods in System Design v10 n1, 1997 p. 93-125 혹 그쪽에 있다면 제가 구할 수 있는 방법을 알려주시면 감사하겠습니다. 그럼 미리 감사드립니다. |