Efficient verification of a multicast protocol for mobile computing / ANASTASI G.; BARTOLI A.; DE FRANCESCO N.ANTONE A.. - In: THE COMPUTER JOURNAL. - ISSN 0748-9331. - (2001).
Titolo: | Efficient verification of a multicast protocol for mobile computing |
Autori: | |
Data di pubblicazione: | 2001 |
Rivista: | |
Handle: | http://hdl.handle.net/11368/1690814 |
Appare nelle tipologie: | 1.1 Articolo in Rivista |
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.