ECFSM-based probabilistic protocol verification
From MaRDI portal
Publication:672485
DOI10.1016/0020-0190(95)00056-IzbMath1004.68504OpenAlexW2058284966MaRDI QIDQ672485
Chung-Ming Huang, Shiun-Wei Lee, Jenq-Muh Hsu
Publication date: 28 February 1997
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(95)00056-i
Cites Work
This page was built for publication: ECFSM-based probabilistic protocol verification