Using Compositional Preorders in the Verification of Sliding Window Protocal

@inproceedings{Kaivola1997UsingCP,
  title={Using Compositional Preorders in the Verification of Sliding Window Protocal},
  author={Roope Kaivola},
  booktitle={CAV},
  year={1997}
}