Abstraction of parallel uniform processes with data

  1. Pang, J.
  2. Van De Pol, J.
  3. Espada, M.V.
Actas:
Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004

ISBN: 076952222X

Año de publicación: 2004

Páginas: 14-23

Tipo: Aportación congreso