BibTeX record conf/apdc/BougeGUV94

download as .bib file

@inproceedings{DBLP:conf/apdc/BougeGUV94,
  author       = {Luc Boug{\'{e}} and
                  Yann Le Guyadec and
                  Gil Utard and
                  Bernard Virot},
  editor       = {Claude Girault},
  title        = {A Proofe System for a Simple Data-Parallel Programming Language},
  booktitle    = {Applications in Parallel and Distributed Computing, Proceedings of
                  the {IFIP} {WG10.3} Working Conference on Applications in Parallel
                  and Distributed Computing, Caracas, Venezuela, 18-22 April, 1994},
  series       = {{IFIP} Transactions},
  volume       = {{A-44}},
  pages        = {63--72},
  publisher    = {North-Holland},
  year         = {1994},
  timestamp    = {Thu, 03 Jan 2002 11:52:57 +0100},
  biburl       = {https://dblp.org/rec/conf/apdc/BougeGUV94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics