Compositional Minimization of Finite State Systems (1991)

by S Graf, B Steffen
Venue:In Proceedings of the 2nd International Workshop on Computer Aided Verification