An observability enhancement method of ABPEL specifications

Type
Publication
*The 2nd International Conference on Engineering and Meta-Engineering: ICEME 2011 *