Abstract Model Checking for Web Services

著录项

• 来源
  《武汉大学学报：自然科学英文版》 |2008年第004期|466-470|共5页
• 作者

  QIAN Junyan; CAI Guoyong; GU Tianlong; ZHAO Lingzhong;

  展开▼
• 作者单位

  Department;

  of;

  Computer;

  Science;

  and;

  Technology,;

  Guilin;

  University;

  of;

  Electronic;

  Technology,;

  Guilin;

  541004,;

  Guangxi,China;

  展开▼
• 收录信息
• 原文格式 PDF
• 正文语种 CHI
• 中图分类 理论、方法;
• 关键词

  Web服务器; 模式审核; 超文本预处理; 计算机技术;

  机译：Web服务器;模式审核;超文本预处理;计算机技术;
• 入库时间 2022-08-19 04:15:41