%0 Journal Article
%T 并发程序性质的时序分析
%A 贾国平 郑国梁？
%J 计算机科学
%D 1998
%K 并发程序时序分析安全性
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=2901372&flag=1