Third International Workshop on Formal Methods for Parallel Programming : Theory and Applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 1998

Third International Workshop on Formal Methods for Parallel Programming : Theory and Applications

Dominique Méry
Beverly Sanders
  • Function : Scientific advisor

Abstract

Troisième édition d'un colloque sur les méthodes formelles et leur utilisation dans le cas de la programmation parallèle. Les actes sont publiés dans le LNCS 1388 et sur le CD ROM d'IPPS'98

Keywords

Domains

Other [cs.OH]
No file

Dates and versions

inria-00098618 , version 1 (25-09-2006)

Identifiers

  • HAL Id : inria-00098618 , version 1

Cite

Dominique Méry, Beverly Sanders (Dir.). Third International Workshop on Formal Methods for Parallel Programming : Theory and Applications. Springer Verlag, 100 p, 1998, Lecture Notes in Computer Science. ⟨inria-00098618⟩
57 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More