Formal methods for specification and development of communication protocols / Babich, Fulvio; Deotto, L.. - In: IEEE COMMUNICATIONS SURVEYS AND TUTORIALS. - ISSN 1553-877X. - 4:(2002), pp. 2-20. [10.1109/COMST.2002.5341329]
Formal methods for specification and development of communication protocols
BABICH, FULVIO;
2002-01-01
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


