M. Steffen, G. Zavattaro (2005). Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference. BERLIN : Springer.
Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference
ZAVATTARO, GIANLUIGI
2005
File 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.