An observability enhancement method of ABPEL specifications

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