Special Issue FMPPTA'98

Dominique Méry 1
1 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Edition spéciale des meilleures communications de FMPPTA'98
Mots-clés : concurrency méthode formelle formal method parallelism parallélisme concurrence
Document type :
Directions of work or proceedings
Complete list of metadatas
https://hal.inria.fr/inria-00108068
Contributor : Publications Loria <>
Submitted on : Thursday, October 19, 2006 - 3:40:43 PM
Last modification on : Thursday, September 19, 2019 - 5:00:04 PM

Identifiers

  • HAL Id : inria-00108068, version 1

Collections

INRIA | CNRS | LORIA | UNIV-LORRAINE

Citation

Dominique Méry. Special Issue FMPPTA'98. World Scientific, 1999, Parallel Processing Letters. ⟨inria-00108068⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

100

Contact


archive-ouverte@inria.fr