Proceedings of 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Lecture Notes in Computer Science 4037 Springer 2006
R. Gorrieri, H. Wehrheim (2006). Formal Methods for Open Object-Based Distributed Systems. HEIDELBERG : Springer-Verlag [10.1007/11768869].
Formal Methods for Open Object-Based Distributed Systems
GORRIERI, ROBERTO;
2006
Abstract
Proceedings of 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Lecture Notes in Computer Science 4037 Springer 2006File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
