Fingerprint
Dive into the research topics of 'Protocol verification using reachability analysis: The state space explosion problem and relief strategies'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Protocol verification using reachability analysis: The state space explosion problem and relief strategies
Fuchun Lin, P. M. Chu, M. T. Liu
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
77
Scopus
citations