Symbolic Model Checking with partitioned transition relations (1991)

by J R Burch, E M Clarke, D E Long
Venue:Proceedings of the International Conference on Very Large Scale Int egration