Jang Dae Kim

Publication Activity (10 Years)

Years Active: 1995-1998
Publications (10 Years): 0

Publications

Shiu-Kai Chin, Jang Dae Kim
An Instruction Set Process Calculus. FMCAD (1998)
Juin-Yeu Joseph Lu, Jang Dae Kim, Shiu-Kai Chin
Hardware Composition with Hardware Flowcharts and Process Algebras. ICECCS (1996)
Anand Chavan, Shiu-Kai Chin, Shahid Ikram, Jang Dae Kim, Juin-Yeu Zu
Extending VLSI design with higher-order logic. ICCD (1995)
Jang Dae Kim, Shiu-Kai Chin
Formal Verification of Serial Pipeline Multipliers. TPHOLs (1995)