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
Formal Methods for Open Object-Based Distributed Systems / R. Gorrieri; H. Wehrheim. - STAMPA. - (2006), pp. 1-266. [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.