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). Abstraction of parallel uniform processes with data. In Proceedings of International Conference on Software Engineering and Formal Methods 2004 (SEFM 2). IEEE.