Data link-control performance: Results comparing HDLC operational modesW BuxK Kümmerleet al.1982Computer NetworksPaper
Access response on a collision-free local bus networkV.Carl HamacherGerald S. Shedler1982Computer NetworksPaper
Automated protocol validation: One chain of developmentHarry RudinColin H. Westet al.1978Computer NetworksPaper
Verification of protocols using symbolic executionDaniel BrandWilliam H Joyner Jr.1978Computer NetworksPaper
Packet and circuit switching: Cost/performance boundariesK. KümmerleH.R. Rudin1978Computer NetworksPaper