Model Optimization Techniques in a Verification Platform for Classified Properties

@inproceedings{Zhu2004ModelOT,
  title={Model Optimization Techniques in a Verification Platform for Classified Properties},
  author={Ming Zhu and Jinian Bian and Weimin Wu},
  booktitle={ICESS},
  year={2004}
}