par Geeraerts, Gilles Cliquez pour télécharger la liste de publications de l'auteur
Publication Non publié, 2006
Communication à un colloque
Titre :
  • Expand, Enlarge and Check
Auteur : Geeraerts, Gilles
Statut de publication : Non publié, 2006
Sujet CREF : Informatique générale
Informations sur la conférence :
  • MOVEP 2006 - Modeling and Verifying Parallel Processes (2006: Bordeaux)
Langue :