%0 Journal Article %1 journals/integration/PolianGB03 %A Polian, Ilia %A Günther, Wolfgang %A Becker, Bernd %D 2003 %J Integr. %K %N 1 %P 25-44 %T Pattern-based verification of connections to intellectual property cores. %U http://dblp.uni-trier.de/db/journals/integration/integration35.html#PolianGB03 %V 35

@article{journals/integration/PolianGB03, added-at = {2023-12-13T02:15:59.000+0100}, author = {Polian, Ilia and Günther, Wolfgang and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2c8ded0a8914dafb52adeb5add93e9956/admin}, ee = {https://doi.org/10.1016/S0167-9260(03)00003-8}, interhash = {7cf81e346e7eed148a5270630e253d20}, intrahash = {c8ded0a8914dafb52adeb5add93e9956}, journal = {Integr.}, keywords = {}, number = 1, pages = {25-44}, timestamp = {2023-12-13T02:15:59.000+0100}, title = {Pattern-based verification of connections to intellectual property cores.}, url = {http://dblp.uni-trier.de/db/journals/integration/integration35.html#PolianGB03}, volume = 35, year = 2003 }