Partitioning transition relations efficiently and automatically (1995)

by Z Zhou, X Song, F Corella, E Cerny, M Langevin
Venue:In Proceedings of the Fifth Great Lakes Symposium on VLSI