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. |
|