A Bounded Retransmission Protocol for Large Data Packets. A Case Study in Computer Checked Algebraic Verification

by Jan Friso Groote , Jaco Van De Pol
Citations:20 - 8 self