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