%0 Conference Paper %1 conf/ipps/GjessingKM91 %A Gjessing, Stein %A Krogdahl, Stein %A Munthe-Kaas, Ellen %B IPPS %D 1991 %E Kumar, V. K. Prasanna %I IEEE Computer Society %K dblp %P 324-329 %T A Linked List Cache Coherence Protocol: Verifying the Bottom Layer. %U http://dblp.uni-trier.de/db/conf/ipps/ipps1991.html#GjessingKM91 %@ 0-8186-9167-0

@inproceedings{conf/ipps/GjessingKM91, added-at = {2023-03-24T00:00:00.000+0100}, author = {Gjessing, Stein and Krogdahl, Stein and Munthe-Kaas, Ellen}, biburl = {https://www.bibsonomy.org/bibtex/27d0e4e9db8b8fc50f745ad8eecf07336/dblp}, booktitle = {IPPS}, crossref = {conf/ipps/1991}, editor = {Kumar, V. K. Prasanna}, ee = {https://doi.ieeecomputersociety.org/10.1109/IPPS.1991.153798}, interhash = {ed39e84fc3c1f66f12f975364ec479b7}, intrahash = {7d0e4e9db8b8fc50f745ad8eecf07336}, isbn = {0-8186-9167-0}, keywords = {dblp}, pages = {324-329}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:26:40.000+0200}, title = {A Linked List Cache Coherence Protocol: Verifying the Bottom Layer.}, url = {http://dblp.uni-trier.de/db/conf/ipps/ipps1991.html#GjessingKM91}, year = 1991 }