Verification of link-level protocols
From MaRDI portal
Publication:1154800
DOI10.1007/BF01934068zbMath0465.68007MaRDI QIDQ1154800
Publication date: 1981
Published in: BIT (Search for Journal in Brave)
Cites Work
This page was built for publication: Verification of link-level protocols