Retour /Back

MOdélisation et VErification des Processus parallèles (MOVEP)
MOdelling and VErifying Parallel processes (MOVEP)
03/12/2012 - 07/12/2012


Liste des participants / List of participants

Programme

Abstract
Présentation de la rencontre

Organisateur / Organizer:

Pierre-Alain REYNIER
Aix-Marseille Université
CMI-LIF
39, rue F. Juliot Curie
13453 Marseille Cedex 13, FRANCE