Symbolic model checking with partitioned transition relations. (1991)

by J R Burch, E M Clarke, D E Long
Venue:In VLSI ’91,