Data link-control performance: Results comparing HDLC operational modesW BuxK Kümmerleet al.1982Computer Networks
Automated protocol validation: One chain of developmentHarry RudinColin H. Westet al.1978Computer Networks
Verification of protocols using symbolic executionDaniel BrandWilliam H Joyner Jr.1978Computer Networks