%0 Conference Paper %1 conf/vdat/ShahMS15 %A Shah, Toral %A Matrosova, Anzhela Yu. %A Singh, Virendra %B VDAT %D 2015 %I IEEE Computer Society %K dblp %P 1-2 %T PDF testability of a combinational circuit derived by covering ROBDD nodes using Invert-And-Or circuits. %U http://dblp.uni-trier.de/db/conf/vdat/vdat2015.html#ShahMS15 %@ 978-1-4799-1743-3

@inproceedings{conf/vdat/ShahMS15, added-at = {2023-03-24T00:00:00.000+0100}, author = {Shah, Toral and Matrosova, Anzhela Yu. and Singh, Virendra}, biburl = {https://www.bibsonomy.org/bibtex/2e8f4cdb1f062f5f26a83d752c958951d/dblp}, booktitle = {VDAT}, crossref = {conf/vdat/2015}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISVDAT.2015.7208130}, interhash = {cd3051cb0330bf302647afaaf2f3c422}, intrahash = {e8f4cdb1f062f5f26a83d752c958951d}, isbn = {978-1-4799-1743-3}, keywords = {dblp}, pages = {1-2}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T13:46:11.000+0200}, title = {PDF testability of a combinational circuit derived by covering ROBDD nodes using Invert-And-Or circuits.}, url = {http://dblp.uni-trier.de/db/conf/vdat/vdat2015.html#ShahMS15}, year = 2015 }