Symbolic model checking with partitioned transition relations (1991)

by J Burch, E Clarke, D Long
Venue:In Int. Conference on Very Large Scale Integration