@PROCEEDINGS{Cassez00a,
  title = {Verification and Modeling of Parallel Processes, MOVEP'2k, Euro Summer
	School},
  year = {2000},
  editor = {Cassez, F. and Jard, C. and Rozoy, B. and Ryan, M.},
  address = {Nantes},
  month = jun
}