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
Type de document :
Direction d'ouvrage, Proceedings, Dossier
World Scientific, 1999, Parallel Processing Letters
Liste complète des métadonnées
https://hal.inria.fr/inria-00108068
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 15:40:43
Dernière modification le : mardi 24 avril 2018 - 13:36:34

Identifiants

  • HAL Id : inria-00108068, version 1

Collections

INRIA | LORIA | UNIV-LORRAINE

Citation

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

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

54

Contact


archive-ouverte@inria.fr