%0 Conference Paper %1 conf/fmcad/BraytonHSSACEKKPQRSSSV96 %A Brayton, Robert K. %A Hachtel, Gary D. %A Sangiovanni-Vincentelli, Alberto L. %A Somenzi, Fabio %A Aziz, Adnan %A Cheng, Szu-Tsung %A Edwards, Stephen A. %A Khatri, Sunil P. %A Kukimoto, Yuji %A Pardo, Abelardo %A Qadeer, Shaz %A Ranjan, Rajeev K. %A Sarwary, Shaker %A Shiple, Thomas R. %A Swamy, Gitanjali %A Villa, Tiziano %B FMCAD %D 1996 %E Srivas, Mandayam K. %E Camilleri, Albert John %I Springer %K dblp %P 248-256 %T VIS. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad1996.html#BraytonHSSACEKKPQRSSSV96 %V 1166 %@ 3-540-61937-2

@inproceedings{conf/fmcad/BraytonHSSACEKKPQRSSSV96, added-at = {2019-05-27T00:00:00.000+0200}, author = {Brayton, Robert K. and Hachtel, Gary D. and Sangiovanni-Vincentelli, Alberto L. and Somenzi, Fabio and Aziz, Adnan and Cheng, Szu-Tsung and Edwards, Stephen A. and Khatri, Sunil P. and Kukimoto, Yuji and Pardo, Abelardo and Qadeer, Shaz and Ranjan, Rajeev K. and Sarwary, Shaker and Shiple, Thomas R. and Swamy, Gitanjali and Villa, Tiziano}, biburl = {https://www.bibsonomy.org/bibtex/26c2d44cc700eb8740f7a6e0965bc1840/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/1996}, editor = {Srivas, Mandayam K. and Camilleri, Albert John}, ee = {https://doi.org/10.1007/BFb0031812}, interhash = {de803006440fea711a42786bd3af0bd7}, intrahash = {6c2d44cc700eb8740f7a6e0965bc1840}, isbn = {3-540-61937-2}, keywords = {dblp}, pages = {248-256}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-28T11:41:54.000+0200}, title = {VIS.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad1996.html#BraytonHSSACEKKPQRSSSV96}, volume = 1166, year = 1996 }