%0 Journal Article %1 journals/et/LataR13 %A Lata, Kusum %A Roy, Subir K. %D 2013 %J J. Electron. Test. %K dblp %N 5 %P 715-740 %T Formal Verification of Analog and Mixed Signal Designs Using SPICE Circuit Simulation Traces. %U http://dblp.uni-trier.de/db/journals/et/et29.html#LataR13 %V 29

@article{journals/et/LataR13, added-at = {2024-07-11T00:00:00.000+0200}, author = {Lata, Kusum and Roy, Subir K.}, biburl = {https://www.bibsonomy.org/bibtex/26a63b1ada1b73ab81a27b95b8b7fbccf/dblp}, ee = {https://doi.org/10.1007/s10836-013-5407-7}, interhash = {3b55e41cfd18c52ba117e27292bfdc62}, intrahash = {6a63b1ada1b73ab81a27b95b8b7fbccf}, journal = {J. Electron. Test.}, keywords = {dblp}, number = 5, pages = {715-740}, timestamp = {2024-07-15T07:05:44.000+0200}, title = {Formal Verification of Analog and Mixed Signal Designs Using SPICE Circuit Simulation Traces.}, url = {http://dblp.uni-trier.de/db/journals/et/et29.html#LataR13}, volume = 29, year = 2013 }