混合選択とタイムアウトで拡張されたマルチパーティセッション型の軽量検査
混合選択とタイムアウトで拡張されたマルチパーティセッション型の軽量検査
复制标题
通过混合选择和超时增强多方会话类型的轻量级检查
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
今井敬吾
中科院分区：
文献类型：
--
作者：
Keigo Imai;Rumyana Neykova;Nobuko Yoshida;Shoji Yuen;今井敬吾
