"Using Compositional Preorders in the Verification of Sliding Window Protocal."

Roope Kaivola (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics