Abstraction of parallel uniform processes with data
- Pang, J.
- Van De Pol, J.
- 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