@PROCEEDINGS{Cassez98,
  title = {Modélisation et vérification des processus parallèles, MOVEP'98,
	Actes de l'ecole d'été},
  year = {1998},
  editor = {Cassez, F. and Jard, C. and Roux, O. and Rozoy, B.},
  address = {ECN},
  month = jul
}