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