Hee-Jun Yoo

Publication Activity (10 Years)

Years Active: 2003-2004
Publications (10 Years): 0

Publications

Hee-Jun Yoo, Jin-Young Choi, Mino Bai
Formal Specification of Business Rules using Z. CCCT (1) (2004)
Hee-Jun Yoo, Mino Bai, Jin-Young Choi
Answer Set Semantics for Prioritized Defaults Logic. IEICE Trans. Inf. Syst. (12) (2004)
Hee-Jun Yoo, Jin-Young Choi
Process Algebraic Model of Superscalar Processor Programs for Instruction Level Timing Analysis. PaCT (2003)