Abstraction of parallel uniform processes with data

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

ISBN: 076952222X

Datum der Publikation: 2004

Seiten: 14-23

Art: Konferenz-Beitrag