Verification of link-level protocols

DOI10.1007/BF01934068zbMath0465.68007MaRDI QIDQ1154800

Donald E. Knuth

Publication date: 1981

Published in: BIT (Search for Journal in Brave)

zbMATH Keywords

21, 31-36 (1981)

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cites Work

• Verification of a class of link-level protocols

This page was built for publication: Verification of link-level protocols