An algorithmic technique for protocol verification
From MaRDI portal
Publication:3805886
DOI10.1109/26.3772zbMath0657.68021OpenAlexW2088184419MaRDI QIDQ3805886
Publication date: 1988
Published in: IEEE Transactions on Communications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/26.3772
Related Items (2)
Parametric Language Analysis of the Class of Stop-and-Wait Protocols ⋮ Probabilistic verification of communication protocols
This page was built for publication: An algorithmic technique for protocol verification