Skip to Main content Skip to Navigation

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 : Tuesday, December 17, 2019 - 3:04:05 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

104

 

Contact                    Legal Notice                    Personal Data