ECFSM-based probabilistic protocol verification

Chung Ming Huang, Jenq Muh Hsu, Shiun Wei Lee

研究成果: Article同行評審

1 引文 斯高帕斯(Scopus)
原文English
頁(從 - 到)1-9
頁數9
期刊Information Processing Letters
55
發行號1
DOIs
出版狀態Published - 1995 七月 7

All Science Journal Classification (ASJC) codes

  • 理論電腦科學
  • 訊號處理
  • 資訊系統
  • 電腦科學應用

引用此