%0 Journal Article
%T 并发系统的操作时序逻辑描述和验证
%A 蒋慧 张兴元？
%J 计算机科学
%D 1997
%K 并发系统时序逻辑验证操作系统程序
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=2761001&flag=1