Digital Library


Search: "[ author: Goanghun Kim ]" (1)
    A Case Study on Model Checking Online-Game Server Party System Using SPIN
    Goanghun Kim , Yunja Choi KIPS Transactions on Software and Data Engineering, Vol. 4, No. 11, pp. 479-486, Nov. 2015
    10.3745/KTSDE.2015.4.11.479