Computational semantics for basic protocol logic a stochastic approach

Gergei Bana, Koji Hasebe, Mitsuhiro Okada

研究成果: Conference article査読

1 被引用数 (Scopus)

フィンガープリント

「Computational semantics for basic protocol logic a stochastic approach」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Mathematics

Engineering & Materials Science