%0 Journal Article %1 journals/et/LvFLL06 %A Lv, Tao %A Fan, Jianping %A Li, Xiaowei %A Liu, Ling-Yi %D 2006 %J J. Electronic Testing %K dblp %N 3 %P 273-285 %T Observability Statement Coverage Based on Dynamic Factored Use-Definition Chains for Functional Verification. %U http://dblp.uni-trier.de/db/journals/et/et22.html#LvFLL06 %V 22

@article{journals/et/LvFLL06, added-at = {2012-12-06T00:00:00.000+0100}, author = {Lv, Tao and Fan, Jianping and Li, Xiaowei and Liu, Ling-Yi}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/270afd994496cf02acfcefe7143b452ef/dblp}, ee = {http://dx.doi.org/10.1007/s10836-006-8634-3}, interhash = {4a99b7e592218b13f8ee2232270893f6}, intrahash = {70afd994496cf02acfcefe7143b452ef}, journal = {J. Electronic Testing}, keywords = {dblp}, number = 3, pages = {273-285}, timestamp = {2016-02-02T10:07:17.000+0100}, title = {Observability Statement Coverage Based on Dynamic Factored Use-Definition Chains for Functional Verification.}, url = {http://dblp.uni-trier.de/db/journals/et/et22.html#LvFLL06}, volume = 22, year = 2006 }