%0 Conference Paper %1 conf/aspdac/PiS00 %A Pi, Tao %A Shi, C.-J. Richard %B ASP-DAC %D 2000 %I ACM %K dblp %P 541-546 %T Analog-testability analysis by determinant-decision-diagrams based symbolic analysis. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2000.html#PiS00 %@ 0-7803-5974-7

@inproceedings{conf/aspdac/PiS00, added-at = {2023-03-23T00:00:00.000+0100}, author = {Pi, Tao and Shi, C.-J. Richard}, biburl = {https://www.bibsonomy.org/bibtex/2bbdda7305a938e812b49da741664e4aa/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2000}, ee = {https://doi.ieeecomputersociety.org/10.1109/ASPDAC.2000.835160}, interhash = {d660d56843b488bad9a343033e8d81d6}, intrahash = {bbdda7305a938e812b49da741664e4aa}, isbn = {0-7803-5974-7}, keywords = {dblp}, pages = {541-546}, publisher = {ACM}, timestamp = {2024-04-10T04:15:39.000+0200}, title = {Analog-testability analysis by determinant-decision-diagrams based symbolic analysis.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2000.html#PiS00}, year = 2000 }