@inproceedings{CF-67,
author= KI JUNG HONG and TAG GON KIM,
title="Discrete Event Model Verification Using System Morphism",
journal= Proc. of IEEE SMC Conference,
pages= 3057 - 3062,
month= Oct.,
year= 2001. ,
}