State Minimization for Concurrent System Analysis Based on State Space Exploration (1994)

by Inhye Kang, Insup Lee
Venue:In Proceedings of Conference on Computer Assurance