%0 Conference Paper %1 conf/fmcad/ChouMP04 %A Chou, Ching-Tsun %A Mannava, Phanindra K. %A Park, Seungjoon %B FMCAD %D 2004 %E Hu, Alan J. %E Martin, Andrew K. %I Springer %K dblp %P 382-398 %T A Simple Method for Parameterized Verification of Cache Coherence Protocols. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2004.html#ChouMP04 %V 3312 %@ 3-540-23738-0

@inproceedings{conf/fmcad/ChouMP04, added-at = {2017-05-17T00:00:00.000+0200}, author = {Chou, Ching-Tsun and Mannava, Phanindra K. and Park, Seungjoon}, biburl = {https://www.bibsonomy.org/bibtex/2bf91ac8c302121d068b62e1ef2d0fd6a/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2004}, editor = {Hu, Alan J. and Martin, Andrew K.}, ee = {https://doi.org/10.1007/978-3-540-30494-4_27}, interhash = {2fdac72cd4219df6df9ea5f0a6fdf087}, intrahash = {bf91ac8c302121d068b62e1ef2d0fd6a}, isbn = {3-540-23738-0}, keywords = {dblp}, pages = {382-398}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:19:28.000+0200}, title = {A Simple Method for Parameterized Verification of Cache Coherence Protocols.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2004.html#ChouMP04}, volume = 3312, year = 2004 }