Design and Formal Specification of an X.25 Packet Level Protocol Implementation.

Sigram Schindler, Jochen Didier, Michael Steinacker

Browse the full COMPSAC paper archive.