%0 Journal Article %1 journals/tcad/ParkDD00 %A Park, Seungjoon %A Das, Satyaki %A Dill, David L. %D 2000 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 10 %P 1202-1210 %T Automatic checking of aggregation abstractions through stateenumeration. %U http://dblp.uni-trier.de/db/journals/tcad/tcad19.html#ParkDD00 %V 19

@article{journals/tcad/ParkDD00, added-at = {2020-09-24T00:00:00.000+0200}, author = {Park, Seungjoon and Das, Satyaki and Dill, David L.}, biburl = {https://www.bibsonomy.org/bibtex/2047d3eff6a01e467934823e5dc76713f/dblp}, ee = {https://doi.org/10.1109/43.875327}, interhash = {9d827d3d6879148e2009cac14663c712}, intrahash = {047d3eff6a01e467934823e5dc76713f}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 10, pages = {1202-1210}, timestamp = {2020-09-25T11:47:21.000+0200}, title = {Automatic checking of aggregation abstractions through stateenumeration.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad19.html#ParkDD00}, volume = 19, year = 2000 }