IEEE
International Conference on Software Engineering and Formal Methods
Specification and Analysis of Embedded Systems

Pang, J., van de Pol, J.& Valero Espada, M. (2004, January). Abstraction of parallel uniform processes with data. Proceedings of International Conference on Software Engineering and Formal Methods 2004 (SEFM 2).