%0 Journal Article %1 journals/fcsc/HuLL15 %A Hu, Jian %A Li, Tun %A Li, Sikun %D 2015 %J Frontiers Comput. Sci. %K dblp %N 6 %P 934-943 %T Equivalence checking between SLM and TLM using coverage directed simulation. %U http://dblp.uni-trier.de/db/journals/fcsc/fcsc9.html#HuLL15 %V 9

@article{journals/fcsc/HuLL15, added-at = {2018-02-19T00:00:00.000+0100}, author = {Hu, Jian and Li, Tun and Li, Sikun}, biburl = {https://www.bibsonomy.org/bibtex/27e155cd746ac066f17dbee7798a28534/dblp}, ee = {https://doi.org/10.1007/s11704-015-4257-0}, interhash = {eaaf195f4bf38253e07e1618afe7fafb}, intrahash = {7e155cd746ac066f17dbee7798a28534}, journal = {Frontiers Comput. Sci.}, keywords = {dblp}, number = 6, pages = {934-943}, timestamp = {2018-02-21T11:37:14.000+0100}, title = {Equivalence checking between SLM and TLM using coverage directed simulation.}, url = {http://dblp.uni-trier.de/db/journals/fcsc/fcsc9.html#HuLL15}, volume = 9, year = 2015 }