Formal Specification and Validation of Selective Acknowledgement Protocol using Z/EVES Theorem Prover Academic Article uri icon

publication date

  • 2006

number of pages

  • 7

start page

  • 1712

end page

  • 1719

volume

  • 6

issue

  • 8