%0 Journal Article %1 journals/tcad/IyerSEJ06 %A Iyer, Subramanian K. %A Sahoo, Debashis %A Emerson, E. Allen %A Jain, Jawahar %D 2006 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 5 %P 780-788 %T On partitioning and symbolic model checking. %U http://dblp.uni-trier.de/db/journals/tcad/tcad25.html#IyerSEJ06 %V 25

@article{journals/tcad/IyerSEJ06, added-at = {2020-09-24T00:00:00.000+0200}, author = {Iyer, Subramanian K. and Sahoo, Debashis and Emerson, E. Allen and Jain, Jawahar}, biburl = {https://www.bibsonomy.org/bibtex/2a9725a155af259dfc1054c7b294d860b/dblp}, ee = {https://doi.org/10.1109/TCAD.2006.870410}, interhash = {ef50ed39f0a217e3759f9e25cc3088ad}, intrahash = {a9725a155af259dfc1054c7b294d860b}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 5, pages = {780-788}, timestamp = {2020-09-25T11:49:28.000+0200}, title = {On partitioning and symbolic model checking.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad25.html#IyerSEJ06}, volume = 25, year = 2006 }