Access response on a collision-free local bus networkV.Carl HamacherGerald S. Shedler1982Computer Networks
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