概率可靠多播协议Bimodal Multicast的IOA形式规范

郭敬林刘西洋陈平

西安电子科技大学学报（自然科学版）2003，Vol.30Issue(2)：220-225,246,7.

Formal specification of the Bimodal Multicast in IOA

郭敬林 ¹刘西洋 ¹陈平¹

作者信息

Bimodal Multicast/I/O自动机/形式规范/最近最先

信息技术与安全科学

郭敬林,刘西洋,陈平..概率可靠多播协议Bimodal Multicast的IOA形式规范[J].西安电子科技大学学报（自然科学版）,2003,30(2):220-225,246,7.

国家部委预研基金资助项目(413150501) （413150501）

OA北大核心CSCDCSTPCD

ISSN：1001-2400

访问量0

下载量0

段落导航