BlumEGKN91'

BibTeX

@inproceedings{DBLP:conf/focs/BlumEGKN91,
  author    = {Manuel Blum and
               William S. Evans and
               Peter Gemmell and
               Sampath Kannan and
               Moni Naor},
  title     = {Checking the Correctness of Memories},
  booktitle = {FOCS},
  year      = {1991},
  pages     = {90-99},
  crossref  = {DBLP:conf/focs/FOCS32},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/focs/FOCS32,
  title     = {32nd Annual Symposium on Foundations of Computer Science,
               1-4 October 1991, San Juan, Puerto Rico},
  booktitle = {FOCS},
  publisher = {IEEE},
  year      = {1991},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}