Typing component-based communication systems / Lienhardt, M., Mezzina, C., Schmitt, A., Stefani, J.. - (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.
