Lanfang Tan, Qingping Tan, Jianjun Xu, Huiping Zhou. Formal verification of signature-monitoring mechanisms by model checking. Comput. Sci. Inf. Syst., 9(4):1431-1451, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.