%0 Journal Article
%T corba服务的形式化分析
%A 郑红 李师贤？
%J 计算机科学
%D 2002
%K corba形式化分析对象管理组织公共对象服务规范网络应用程序计算机网络
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=7768277&flag=1