%0 Journal Article %1 journals/pe/BennettFH96 %A Bennett, Andrew J. %A Field, A. J. %A Harrison, Peter G. %D 1996 %J Perform. Eval. %K dblp %N 4 %P 541-563 %T Modelling and Validation of Shared Memory Coherency Protocols. %U http://dblp.uni-trier.de/db/journals/pe/pe27.html#BennettFH96 %V 27/28

@article{journals/pe/BennettFH96, added-at = {2003-11-26T00:00:00.000+0100}, author = {Bennett, Andrew J. and Field, A. J. and Harrison, Peter G.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2def718462c55dbe417eeea150ec06514/dblp}, interhash = {4026895941693a36ff248476ddd492d0}, intrahash = {def718462c55dbe417eeea150ec06514}, journal = {Perform. Eval.}, keywords = {dblp}, number = 4, pages = {541-563}, timestamp = {2016-02-02T06:26:07.000+0100}, title = {Modelling and Validation of Shared Memory Coherency Protocols.}, url = {http://dblp.uni-trier.de/db/journals/pe/pe27.html#BennettFH96}, volume = {27/28}, year = 1996 }