×

Verification of a sliding window protocol in \(\mu\) CRL and PVS. (English) Zbl 1101.68309


MSC:

68M10 Network design and communication in computer systems

Software:

PVS
PDFBibTeX XMLCite
Full Text: DOI