Digital Library


Search: "[ author: Woo Jong Han ]" (1)
    Formal Verification of RACE Protocol Using VIS
    Hyun Sun Um, Jin Young Choi, Woo Jong Han, An Do Ki, Kyu Hyun Shim KIPS Transactions on Computer and Communication Systems, Vol. 7, No. 7, pp. 2219-2228, Jul. 2000
    10.3745/KIPSTE.2000.7.7.2219