%0 Conference Paper %1 conf/date/YipHI12 %A Yip, Tsunwai Gary %A Hung, Chuan Yung %A Iyengar, Venu %B DATE %D 2012 %E Rosenstiel, Wolfgang %E Thiele, Lothar %I IEEE %K dblp %P 167-168 %T Challenges in verifying an integrated 3D design. %U http://dblp.uni-trier.de/db/conf/date/date2012.html#YipHI12 %@ 978-1-4577-2145-8

@inproceedings{conf/date/YipHI12, added-at = {2023-03-24T00:00:00.000+0100}, author = {Yip, Tsunwai Gary and Hung, Chuan Yung and Iyengar, Venu}, biburl = {https://www.bibsonomy.org/bibtex/2c3d3ec6a23be83a9cf36fb0a5d5594aa/dblp}, booktitle = {DATE}, crossref = {conf/date/2012}, editor = {Rosenstiel, Wolfgang and Thiele, Lothar}, ee = {http://dl.acm.org/citation.cfm?id=2492751}, interhash = {5c92e83a0c5068bf9ff0bec6bb890db6}, intrahash = {c3d3ec6a23be83a9cf36fb0a5d5594aa}, isbn = {978-1-4577-2145-8}, keywords = {dblp}, pages = {167-168}, publisher = {IEEE}, timestamp = {2024-04-10T06:49:32.000+0200}, title = {Challenges in verifying an integrated 3D design.}, url = {http://dblp.uni-trier.de/db/conf/date/date2012.html#YipHI12}, year = 2012 }