Three tutorial papers on protocol specification, validation, and design

DOI10.1016/0169-7552(92)90108-3zbMath0825.68174OpenAlexW1995618908MaRDI QIDQ4017599

Robert L. Probert, Luigi Logrippo, Hasan Ural

Publication date: 16 January 1993

Published in: Computer Networks and ISDN Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0169-7552(92)90108-3

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Three tutorial papers on protocol specification, validation, and design