Verification in XESAR of the Sliding Window Protocol.

Jean-Luc Richier Carlos Rodriguez Joseph Sifakis Jacques Voiron Verification in XESAR of the Sliding Window Protocol. 235-248 1987 conf/pstv/1987 PSTV db/conf/pstv/pstv1987.html#RichierRSV87