DVTS: Design Verification Techniques for Functional Simulation. - Kohei Fukuoka; Ken Ohga; Atsushi Sugiyama; Satoshi Takemura (ITC, 1986)

A high-speed recovery method for use in distributed computer systems. - Yuzuru Maya; Toshiyuki Kinoshita; Isao Yoshino; Yoshinori Tokunaga; Satoshi Takemura (Syst. Comput. Jpn., 1992)