advanced
WEN Jing-Hua, ZHANG Mei, LI Xiang. Symbolic Model Checking and Analysis for E-Commerce Protocol[J]. Journal of Electronic Science and Technology, 2005, 3(3): 213-217.
Citation: WEN Jing-Hua, ZHANG Mei, LI Xiang. Symbolic Model Checking and Analysis for E-Commerce Protocol[J]. Journal of Electronic Science and Technology, 2005, 3(3): 213-217.
shu

Symbolic Model Checking and Analysis for E-Commerce Protocol

    Abstract
  • FullText(HTML)
  • 加载中
    • References(0)
  • Relative Articles
  • Supplements (0)

  • Catalog

      /

      DownLoad:  Full-Size Img  PowerPoint
      Return
      Return