%0 Conference Paper %1 conf/ipps/NalumasuG98 %A Nalumasu, Ratan %A Gopalakrishnan, Ganesh %B IPPS/SPDP Workshops %D 1998 %E Rolim, José D. P. %I Springer %K dblp %P 857-870 %T Deriving Efficient Cache Coherence Protocols through Refinement. %U http://dblp.uni-trier.de/db/conf/ipps/ippsw1998.html#NalumasuG98 %V 1388 %@ 3-540-64359-1

@inproceedings{conf/ipps/NalumasuG98, added-at = {2019-08-02T00:00:00.000+0200}, author = {Nalumasu, Ratan and Gopalakrishnan, Ganesh}, biburl = {https://www.bibsonomy.org/bibtex/27f16ac10ea42ecc281ec42d4e806c18f/dblp}, booktitle = {IPPS/SPDP Workshops}, crossref = {conf/ipps/1998w}, editor = {Rolim, José D. P.}, ee = {https://doi.org/10.1007/3-540-64359-1_748}, interhash = {fc8d49c377580ed243db11ad492097d7}, intrahash = {7f16ac10ea42ecc281ec42d4e806c18f}, isbn = {3-540-64359-1}, keywords = {dblp}, pages = {857-870}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-06T11:41:31.000+0200}, title = {Deriving Efficient Cache Coherence Protocols through Refinement.}, url = {http://dblp.uni-trier.de/db/conf/ipps/ippsw1998.html#NalumasuG98}, volume = 1388, year = 1998 }