%0 Journal Article %1 journals/concurrency/SubramaniamC07 %A Subramaniam, Mahadevan %A Conway, Patrick %D 2007 %J Concurr. Comput. Pract. Exp. %K dblp %N 3 %P 355-368 %T A methodology for early validation of cache coherence protocols based on relational databases. %U http://dblp.uni-trier.de/db/journals/concurrency/concurrency19.html#SubramaniamC07 %V 19

@article{journals/concurrency/SubramaniamC07, added-at = {2020-03-02T00:00:00.000+0100}, author = {Subramaniam, Mahadevan and Conway, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/2552a2b074ec35fd53d26301bbd12e24b/dblp}, ee = {https://doi.org/10.1002/cpe.1065}, interhash = {5837172a2d0540b868816eae398c984c}, intrahash = {552a2b074ec35fd53d26301bbd12e24b}, journal = {Concurr. Comput. Pract. Exp.}, keywords = {dblp}, number = 3, pages = {355-368}, timestamp = {2020-03-03T11:48:07.000+0100}, title = {A methodology for early validation of cache coherence protocols based on relational databases.}, url = {http://dblp.uni-trier.de/db/journals/concurrency/concurrency19.html#SubramaniamC07}, volume = 19, year = 2007 }