%0 Conference Paper %1 conf/dac/LaiS92 %A Lai, Yung-Te %A Sastry, Sarma %B DAC %D 1992 %E Schweikert, Daniel G. %I IEEE Computer Society Press %K dblp %P 608-613 %T Edge-Valued Binary Decision Diagrams for Multi-Level Hierarchical Verification. %U http://dblp.uni-trier.de/db/conf/dac/dac92.html#LaiS92 %@ 0-8186-2822-7

@inproceedings{conf/dac/LaiS92, added-at = {2017-03-16T00:00:00.000+0100}, author = {Lai, Yung-Te and Sastry, Sarma}, biburl = {https://www.bibsonomy.org/bibtex/2feeac1b13eee91c2db3a3e6616050b9d/dblp}, booktitle = {DAC}, crossref = {conf/dac/1992}, editor = {Schweikert, Daniel G.}, ee = {http://portal.acm.org/citation.cfm?id=113938.149642}, interhash = {4fccd7254c64172d2fbf484903770d5a}, intrahash = {feeac1b13eee91c2db3a3e6616050b9d}, isbn = {0-8186-2822-7}, keywords = {dblp}, pages = {608-613}, publisher = {IEEE Computer Society Press}, timestamp = {2017-03-17T11:40:52.000+0100}, title = {Edge-Valued Binary Decision Diagrams for Multi-Level Hierarchical Verification.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac92.html#LaiS92}, year = 1992 }