![](/img/cover-not-exists.png)
[IEEE Comput. Soc Sixth IEEE Symposium on Computers and Communications - Hammamet, Tunisia (3-5 July 2001)] Proceedings. Sixth IEEE Symposium on Computers and Communications - Formal validation of a multicast transport protocol
Abbou, R.B., Benkiran, A., Courtiat, J.P.Year:
2001
Language:
english
DOI:
10.1109/iscc.2001.935443
File:
PDF, 597 KB
english, 2001