Protocol verification using reachability analysis: The state space explosion problem and relief strategies

Fuchun Lin, P. M. Chu, M. T. Liu

研究成果: Conference contribution › 同行評審

74 引文 斯高帕斯（Scopus）

指紋 深入研究「Protocol verification using reachability analysis: The state space explosion problem and relief strategies」主題。共同形成了獨特的指紋。

Engineering & Materials Science