%0 Journal Article
%T 基于时序逻辑的移动计算的形式方法分析
%A 魏峻？
%J 计算机科学
%D 2000
%K 移动计算时序逻辑形式方法计算模式
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=4411038&flag=1