2003
Verification of distributed dataspace architectures
Publication
Publication
Presented at the
Perspectives of system informatics, Akademgorodok, Novisibirsk, Russia
| Additional Metadata | |
|---|---|
| Springer | |
| Lecture Notes in Computer Science | |
| Perspectives of system informatics | |
| Organisation | Specification and Analysis of Embedded Systems |
|
Orzan, S.-M.& van de Pol, J. (2003). Verification of distributed dataspace architectures. Proceedings of Perspectives of System Informatics 2003: 5th International Andrei Ershov Memorial Conference (PSI 5), 1–16. |
|