BibTeX record journals/njc/CoolsaetFM94

download as .bib file

@article{DBLP:journals/njc/CoolsaetFM94,
  author    = {Kris Coolsaet and
               Veerle Fack and
               Hans De Meyer},
  title     = {A Tabular Method for Verification of Data Exchange Algorithms on Networks
               of Parallel Processors},
  journal   = {Nord. J. Comput.},
  volume    = {1},
  number    = {2},
  pages     = {202--213},
  year      = {1994},
  timestamp = {Thu, 18 Apr 2013 09:27:17 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/njc/CoolsaetFM94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}