de Pol A bounded retransmission protocol for large data packets - a case study in computer checked algebraic verification (0)

by J F Groote, J C Van
Venue:Algebraic Methodology and Software Technology, 5th International Conference AMAST ’96, Munich. Lecture Notes in Computer Science