%0 Conference Paper %1 conf/aspdac/XiongYSXT13 %A Xiong, Qiaoli %A Yi, Jiangfang %A Song, Tianbao %A Xie, Zichao %A Tong, Dong %B ASP-DAC %D 2013 %I IEEE %K dblp %P 705-710 %T VFCC: A verification framework of cache coherence using parallel simulation. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2013.html#XiongYSXT13 %@ 978-1-4673-3029-9

@inproceedings{conf/aspdac/XiongYSXT13, added-at = {2018-01-15T00:00:00.000+0100}, author = {Xiong, Qiaoli and Yi, Jiangfang and Song, Tianbao and Xie, Zichao and Tong, Dong}, biburl = {https://www.bibsonomy.org/bibtex/2d247e129158f5fbfd9986cb0f5e27700/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2013}, ee = {https://doi.org/10.1109/ASPDAC.2013.6509683}, interhash = {16ad0eec45704d6f221ce1acee3a2b66}, intrahash = {d247e129158f5fbfd9986cb0f5e27700}, isbn = {978-1-4673-3029-9}, keywords = {dblp}, pages = {705-710}, publisher = {IEEE}, timestamp = {2019-10-17T16:44:50.000+0200}, title = {VFCC: A verification framework of cache coherence using parallel simulation.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2013.html#XiongYSXT13}, year = 2013 }