Verification of a class of link-level protocols
From MaRDI portal
Publication:4174717
DOI10.1007/BF01932022zbMath0393.68020MaRDI QIDQ4174717
Publication date: 1978
Published in: BIT (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Uses Software
Cites Work