%0 Journal Article %1 journals/jcsc/YimPPK97 %A Yim, Joon-Seo %A Park, Chang-Jae %A Park, In-Cheol %A Kyung, Chong-Min %D 1997 %J Journal of Circuits, Systems, and Computers %K dblp %N 4 %P 301-318 %T Design Verification of Complex Microprocessors. %U http://dblp.uni-trier.de/db/journals/jcsc/jcsc7.html#YimPPK97 %V 7

@article{journals/jcsc/YimPPK97, added-at = {2012-12-12T00:00:00.000+0100}, author = {Yim, Joon-Seo and Park, Chang-Jae and Park, In-Cheol and Kyung, Chong-Min}, biburl = {https://www.bibsonomy.org/bibtex/23d06275c03295e5d9701da0d96dd67b6/dblp}, ee = {http://dx.doi.org/10.1142/S021812669700022X}, interhash = {3d36e660ef4e8a8a70722513f2458dbc}, intrahash = {3d06275c03295e5d9701da0d96dd67b6}, journal = {Journal of Circuits, Systems, and Computers}, keywords = {dblp}, number = 4, pages = {301-318}, timestamp = {2012-12-13T11:34:49.000+0100}, title = {Design Verification of Complex Microprocessors.}, url = {http://dblp.uni-trier.de/db/journals/jcsc/jcsc7.html#YimPPK97}, volume = 7, year = 1997 }