Editorial introduction

被引：0

作者：

Hall, Robert J. ^{[1
]}

机构：

[1] AT&T Labs Res, Florham Pk, NJ 07932 USA

来源：

关键词：

Model Check; Service Composition; Instability Problem; Structure Sharing; Sanity Check;

D O I：

10.1007/s10515-013-0131-1

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：497 / 498

页数：2