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]
@inproceedings{ChakrabartiDDRLB99,
title = {Controlling State Explosion in Static Simulation by Selective Composition},
author = {Partha Pratim Chakrabarti and Pallab Dasgupta and Partha Pratim Das and Arnob Roy and Shuvendu K. Lahiri and Mrinal Bose},
year = {1999},
doi = {10.1109/ICVD.1999.745152},
url = {http://doi.ieeecomputersociety.org/10.1109/ICVD.1999.745152},
tags = {composition},
researchr = {https://researchr.org/publication/ChakrabartiDDRLB99},
cites = {0},
citedby = {0},
pages = {226-231},
booktitle = {12th International Conference on VLSI Design (VLSI Design 1999), 10-13 January 1999, Goa, India},
publisher = {IEEE Computer Society},
}