Discrete event model verification using system morphism.

Ki Jung Hong, Tag Gon Kim

Browse the full SMC paper archive.