Experiment with Auto and Autograph on a Simple Case Sliding Window Protocol (1988)

by G Boudol, R de Simone, D Vergamini