Typing component-based communication systems / Lienhardt, M; Mezzina, C; Schmitt, A; Stefani, J-B. - (2009), pp. 167-181. ( IFIP international conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009) Lisbon PORTUGAL June 9-12, 2009) [10.1007/978-3-642-02138-1_11].
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
