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