@article{JF-39,
author= Wan Bok LEE and Tag Gon KIM,
title="Performance Evaluation of Concurrent System Using Formal Model: Simulation Speedup",
journal=IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences,
volume= E86-A,
number=11,
pages= 2755 - 2766,
year= 2003. ,
}