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 proceedingConference contributionpeer-review

74 Scopus citations

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.

Engineering & Materials Science