Simulation and verification of X.25 protocol

Míreanna Comhchosúla

• Simulation and verification od hdlc/nrm protocol
  le: Balagopal R
  Foilsithe: (1991)
• Protocol specification, testing and verification
  le: Diaz, Michel
  Foilsithe: (1986)
• X.25 explained:protocols for packet switching networks
  le: R.J.Deasington
  Foilsithe: (1986)
• Verification and meaning /
  Foilsithe: (1976)
• Program Construction and Verification
  le: Backhouse, Roland C
  Foilsithe: (1986)