TY - 计算机工程 A1 - 杨晓波 T1 - Web服务编制的形式化模型研究 Y1 - 2012-04-05 00:00:00.0 JF - 计算机工程 JO - 计算机工程 SP - 276 EP - 278 VL - 38 IS - 7 UR - {http://www.ecice06.com/CN/10.3969/j.issn.1000-3428.2012.07.090} N1 - 10.3969/j.issn.1000-3428.2012.07.090 ER -