skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Efficient verification of a multicast protocol for mobile computing

Anastasi, G., A. Bartoli, N. De Francesco, and A. Santone, "Efficient verification of a multicast protocol for mobile computing", The Computer Journal, vol. 44, no. 1: Br Computer Soc, pp. 21–30, 2001.