Efficient verification of a multicast protocol for mobile computing / Anastasi, G.; Bartoli, Alberto; DE FRANCESCO, N. ANTONE A.. - In: THE COMPUTER JOURNAL. - ISSN 0748-9331. - (2001).
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.


