Symbolic model checking with partitioned transition relations (1991)

by J L Burch, E M Clarke, D E Long
Venue:In Proceedings fo the 1991 International Conference on VLSI