Verification and Improvement of the Sliding Window Protocol.

Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink

Browse the full TACAS paper archive.