@inproceedings{CF-52,
author= Wan Bon Lee and Tag Gon Kim,
title="Ordering Method for Reducing State Space in Compositional Verification",
journal=IEEE-SMC99,
month= Oct.,
year= 1999. ,
}