PongD00'

BibTeX

@article{DBLP:journals/tpds/PongD00,
  author    = {Fong Pong and
               Michel Dubois},
  title     = {Formal Automatic Verification of Cache Coherence in Multiprocessors
               with Relaxed Memory Models},
  journal   = {IEEE Trans. Parallel Distrib. Syst.},
  volume    = {11},
  number    = {9},
  year      = {2000},
  pages     = {989-1006},
  ee        = {http://www.computer.org/tpds/td2000/l0989abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}