@InProceedings{tacas2003, author = {Chkliaev, D. and Hooman, J. and Vink, E. de}, title = {Verification and improvement of the sliding window protocol}, booktitle = {Proc.\ TACAS 2003}, pages = {113--127}, year = 2003, editor = {H. Garavel and J. Hatcliff}, publisher = {LNCS~2619} }