Formal specification of the Bimodal Multicast in IOA
GUO Jin-lin;LIU Xi-yang;CHEN Ping
J4 . 2003, (2): 220 -225 . 

Copyright © 2018 Journal of Xidian University, All Rights Reserved.
Powered by Beijing Magtech Co. Ltd