%0 Journal Article %1 journals/dt/Gupta04d %A Gupta, Rajesh K. %D 2004 %J IEEE Des. Test Comput. %K dblp %N 6 %P 457 %T Verification synergies. %U http://dblp.uni-trier.de/db/journals/dt/dt21.html#Gupta04d %V 21

@article{journals/dt/Gupta04d, added-at = {2020-05-17T00:00:00.000+0200}, author = {Gupta, Rajesh K.}, biburl = {https://www.bibsonomy.org/bibtex/26303781ca9bc2aef143cec8aba4dbbb7/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/MDT.2004.88}, interhash = {dd8e8be82853d5eb72cc5445ccce6191}, intrahash = {6303781ca9bc2aef143cec8aba4dbbb7}, journal = {IEEE Des. Test Comput.}, keywords = {dblp}, number = 6, pages = 457, timestamp = {2020-05-19T12:20:46.000+0200}, title = {Verification synergies.}, url = {http://dblp.uni-trier.de/db/journals/dt/dt21.html#Gupta04d}, volume = 21, year = 2004 }