2004
Abstraction of parallel uniform processes with data
Publication
Publication
Presented at the
International Conference on Software Engineering and Formal Methods, Beijing, China
Additional Metadata | |
---|---|
IEEE | |
International Conference on Software Engineering and Formal Methods | |
Organisation | 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. |