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. In Proceedings of Perspectives of system informatics 2003: 5th international Andrei Ershov memorial conference (PSI 5) (pp. 1–16). Springer. |
|