%0 Journal Article %1 journals/tcad/LyuQCM19 %A Lyu, Yangdi %A Qin, Xiaoke %A Chen, Mingsong %A Mishra, Prabhat %D 2019 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 1 %P 163-176 %T Directed Test Generation for Validation of Cache Coherence Protocols. %U http://dblp.uni-trier.de/db/journals/tcad/tcad38.html#LyuQCM19 %V 38

@article{journals/tcad/LyuQCM19, added-at = {2024-05-07T00:00:00.000+0200}, author = {Lyu, Yangdi and Qin, Xiaoke and Chen, Mingsong and Mishra, Prabhat}, biburl = {https://www.bibsonomy.org/bibtex/285ae20d4640a3a3f6c0a1c4540d73cd0/dblp}, ee = {https://doi.org/10.1109/TCAD.2018.2801239}, interhash = {76c54ffc5020522582a16926ad210c05}, intrahash = {85ae20d4640a3a3f6c0a1c4540d73cd0}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 1, pages = {163-176}, timestamp = {2024-05-13T07:26:45.000+0200}, title = {Directed Test Generation for Validation of Cache Coherence Protocols.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad38.html#LyuQCM19}, volume = 38, year = 2019 }