Partha Pratim Chakrabarti, Pallab Dasgupta, Partha Pratim Das, Arnob Roy, Shuvendu K. Lahiri, Mrinal Bose. Controlling State Explosion in Static Simulation by Selective Composition. In 12th International Conference on VLSI Design (VLSI Design 1999), 10-13 January 1999, Goa, India. pages 226-231, IEEE Computer Society, 1999. [doi]
Abstract is missing.