@inproceedings{CF-40,
author= Bong-Joon Jung, Young-Rak Seong, Tag Gon Kim and Kyu Ho Park,
title="A Formal Specificatopm Framework for Developing Parallel Software based on the DEVS Formalism",
journal=AIS'96,
pages= 108 - 115,
month= Mar.,
year= 1996. ,
}