Digital Library


Search: "[ author: Hyun Sun Um ]" (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