ECFSM-based probabilistic protocol verification

Chung Ming Huang, Jenq Muh Hsu, Shiun Wei Lee

Research output: Contribution to journalArticle

1 Citation (Scopus)
Original languageEnglish
Pages (from-to)1-9
Number of pages9
JournalInformation Processing Letters
Volume55
Issue number1
DOIs
Publication statusPublished - 1995 Jul 7

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Signal Processing
  • Information Systems
  • Computer Science Applications

Cite this