可满足(≠,=)工作流的静态k弹性否决条件
翟治年,王中鹏,叶绿,向坚,王富忠,庞海云
Negative Condition of Static k Resiliency for Satisfiable(≠,=) Workflow
ZHAI Zhinian, WANG Zhongpeng, YE Lv, XIANG Jian, WANG Fuzhong, PANG Haiyun
计算机工程与应用 . 2019, (23): 35 -39 .  DOI: 10.3778/j.issn.1002-8331.1808-0475