Three tutorial papers on protocol specification, validation, and design

DOI10.1016/0169-7552(92)90108-3MaRDI QIDQ4017599zbMATH OpenOpenAlexFDO

Authors Luigi Logrippo, Robert L. Probert, 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4017599)