Symbolic model checking with partitioned transition relations (1991)

by Jerry R Burch, Edmund M Clarke, David E Long
Venue:International Conference on Very Large Scale Integration