ECFSM-based probabilistic protocol verification

Chung Ming Huang, Jenq Muh Hsu, Shiun Wei Lee

Research output: Contribution to journalArticlepeer-review

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

All Science Journal Classification (ASJC) codes

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

Cite this